iv(@(allegedly,^(\(A,@('run*',*(A))))),i,[],[],3,5)
iv(@(allegedly,^(\(A,@('run*',*(A))))),i,[sub(\(B,exists(C,/\(@(woman,C),@(*(B),C)))),D,f)],[],3,5)
iv(@(allegedly,^(\(A,@(@('try_to*',^(\(B,@('run*',*(B))))),A)))),s,[],[],2,5)
iv(@(allegedly,^(\(A,@(@('try_to*',^(\(B,@('run*',*(B))))),A)))),s,[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),E,f)],[],2,5)
iv(\(A,@('run*',*(A))),i,[],[],3,4)
iv(\(A,@('run*',*(A))),i,[sub(\(B,exists(C,/\(@(woman,C),@(*(B),C)))),D,f)],[],3,4)
iv(\(A,@(@('try_to*',^(@(allegedly,^(\(B,@('run*',*(B))))))),A)),s,[],[],2,5)
iv(\(A,@(@('try_to*',^(@(allegedly,^(\(B,@('run*',*(B))))))),A)),s,[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),E,f)],[],2,5)
iv(\(A,@(@('try_to*',^(\(B,@('run*',*(B))))),A)),s,[],[],2,4)
iv(\(A,@(@('try_to*',^(\(B,@('run*',*(B))))),A)),s,[sub(\(C,exists(D,/\(@(woman,D),@(*(C),D)))),E,f)],[],2,4)