s(@('run*',*(A)),[],[sub(\(B,exists(C,/\(/\(@(woman,C),@('walk*',*(C))),@(*(B),C)))),A,f)],0,6)
s(@('walk*',*(A)),[sub(woman,A,f)],[],3,5)
s(exists(A,/\(/\(@(woman,A),@('walk*',*(A))),@('run*',*(A)))),[],[],0,6)