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