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