cn(man,m,[],[],1,2)
cn(woman,f,[],[],4,5)
cn(woman,f,[sub(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),D,m)],[],4,5)