te1(@(\(A,\(B,all(C,->(@(*(A),C),@(*(B),C))))),^(man)),sub,m,[],[],0,2)
te1(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),obj,f,[],[],3,5)
te1(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),obj,f,[sub(@(\(D,\(E,all(F,->(@(*(D),F),@(*(E),F))))),^(man)),G,m)],[],3,5)