[]
   [A]
   object(A,man,countable,na,eq,1)-1/2
   =>
   [B,C]
   object(B,human,countable,na,eq,1)-1/5
   predicate(C,be,A,B)-1/3