نقترح حساب احتمامي للتناسم الدلالي والتصنيف المصنوع من حيث نظرية النوع الاحتمالية مع السجلات، والبناء على كوبر وآخرون.آل.(2014) وكوبر وآخرون.آل.(2015).نقترح أن نقترح تركيبات نظرية من النوع الاحتمالية من أسلاك بايس، وشبكات بايزيان.العنصر المركزي في هذه المنشآت هو نسخة نظرية من النوع من متغير عشوائي.نوضح هذا الحساب مع لعبة لغة بسيطة تجمع بين التصنيف الاحتمالي للمدخلات الإحصائية مع الاستدلال الاحتمالية (الدلالي).