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