te1(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),sub,f,[],[],0,2)