iv(@(\(A,\(B,@(*(A),^(\(C,@(@('love*',*(C)),*(B))))))),^(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(woman)))),s,[],[],2,5)
iv(@(\(A,\(B,@(*(A),^(\(C,@(@('love*',*(C)),*(B))))))),^(@(\(D,\(E,exists(F,/\(@(*(D),F),@(*(E),F))))),^(woman)))),s,[sub(@(\(G,\(H,all(I,->(@(*(G),I),@(*(H),I))))),^(man)),J,m)],[],2,5)
iv(@(\(A,\(B,@(*(A),^(\(C,@(@('love*',*(C)),*(B))))))),^(\(D,@(*(D),E)))),s,[],[sub(@(\(F,\(G,exists(H,/\(@(*(F),H),@(*(G),H))))),^(woman)),E,f)],2,5)
iv(@(\(A,\(B,@(*(A),^(\(C,@(@('love*',*(C)),*(B))))))),^(\(D,@(*(D),E)))),s,[sub(@(\(F,\(G,all(H,->(@(*(F),H),@(*(G),H))))),^(man)),I,m)],[sub(@(\(J,\(K,exists(L,/\(@(*(J),L),@(*(K),L))))),^(woman)),E,f)],2,5)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(woman)),^(\(E,@(@(\(F,\(G,@(*(F),^(\(H,@(@('love*',*(H)),*(G))))))),^(\(I,@(*(I),E)))),A))))),s,[],[],2,5)
iv(\(A,@(@(\(B,\(C,exists(D,/\(@(*(B),D),@(*(C),D))))),^(woman)),^(\(E,@(@(\(F,\(G,@(*(F),^(\(H,@(@('love*',*(H)),*(G))))))),^(\(I,@(*(I),E)))),A))))),s,[sub(@(\(J,\(K,all(L,->(@(*(J),L),@(*(K),L))))),^(man)),M,m)],[],2,5)