Jika 'x' adalah anggota entitas D, maka 'x' pasti anggota entitas A, dan mungkin juga anggota entitas E

Jika 'x' adalah anggota entitas E, maka 'x' mungkin saja bukan anggota entitas A

Jika 'x' adalah anggota entitas B, maka 'x' tidak mungkin anggota entitas C

Jika 'x' adalah anggota entitas A, maka 'x' pasti anggota entitas D, dan juga pasti  merupakan anggota dari entitas F