Bagaimanakah sifat wajib diinferenskan?
Medan dianggap wajib apabila muncul dalam setiap objek contoh. Dengan satu objek, setiap medan dalam contoh itu wajib kerana tiada bukti bahawa ia pilihan.