te1(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(\(D,/\(@(woman,D),@(\(E,@(*(E),D)),^(\(F,@('walk*',*(F))))))))),sub,f,[],[],0,5)
te1(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(woman)),sub,f,[],[],0,2)