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