s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(\(D,/\(@(woman,D),@(\(E,@(*(E),D)),^(\(F,@('walk*',*(F))))))))),^(\(G,@('run*',*(G))))),[],[],0,6)
s(@(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(\(D,/\(@(woman,D),@(\(E,@(*(E),D)),^(\(F,@('walk*',*(F))))))))),^(\(G,@(\(H,@(*(H),G)),^(\(I,@('run*',*(I)))))))),[],[],0,6)
s(@(\(A,@(*(A),B)),^(\(C,@('run*',*(C))))),[],[sub(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(\(G,/\(@(woman,G),@(\(H,@(*(H),G)),^(\(I,@('walk*',*(I))))))))),B,f)],0,6)
s(@(\(A,@(*(A),B)),^(\(C,@('walk*',*(C))))),[sub(woman,B,f)],[],3,5)