iv(\(A,/\(@(@('find*',*(B)),*(A)),@(@('eat*',*(B)),*(A)))),i,[],[sub(\(C,exists(D,/\(@(unicorn,D),@(*(C),D)))),B,n)],2,8)
iv(\(A,/\(@(@('find*',*(B)),*(A)),@(@('eat*',*(B)),*(A)))),i,[sub(\(C,@(*(C),^(j))),D,m)],[sub(\(E,exists(F,/\(@(unicorn,F),@(*(E),F)))),B,n)],2,8)
iv(\(A,@(@('eat*',*(B)),*(A))),i,[sub(\(C,@(*(C),^(j))),D,m),sub(\(E,exists(F,/\(@(unicorn,F),@(*(E),F)))),B,n)],[],6,8)
iv(\(A,@(@('eat*',*(B)),*(A))),i,[sub(\(C,exists(D,/\(@(unicorn,D),@(*(C),D)))),B,n)],[],6,8)
iv(\(A,@(@('find*',*(B)),*(A))),i,[],[sub(\(C,exists(D,/\(@(unicorn,D),@(*(C),D)))),B,n)],2,5)
iv(\(A,@(@('find*',*(B)),*(A))),i,[sub(\(C,@(*(C),^(j))),D,m)],[sub(\(E,exists(F,/\(@(unicorn,F),@(*(E),F)))),B,n)],2,5)
iv(\(A,@(@('wish_to*',^(\(B,/\(@(@('find*',*(C)),*(B)),@(@('eat*',*(C)),*(B)))))),A)),s,[],[sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),C,n)],1,8)
iv(\(A,@(@('wish_to*',^(\(B,/\(@(@('find*',*(C)),*(B)),@(@('eat*',*(C)),*(B)))))),A)),s,[sub(\(D,@(*(D),^(j))),E,m)],[sub(\(F,exists(G,/\(@(unicorn,G),@(*(F),G)))),C,n)],1,8)
iv(\(A,@(@('wish_to*',^(\(B,@(@('find*',*(C)),*(B))))),A)),s,[],[sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),C,n)],1,5)
iv(\(A,@(@('wish_to*',^(\(B,@(@('find*',*(C)),*(B))))),A)),s,[sub(\(D,@(*(D),^(j))),E,m)],[sub(\(F,exists(G,/\(@(unicorn,G),@(*(F),G)))),C,n)],1,5)
iv(\(A,@(@('wish_to*',^(\(B,exists(C,/\(@(unicorn,C),/\(@(@('find*',*(C)),*(B)),@(@('eat*',*(C)),*(B)))))))),A)),s,[],[],1,8)
iv(\(A,@(@('wish_to*',^(\(B,exists(C,/\(@(unicorn,C),/\(@(@('find*',*(C)),*(B)),@(@('eat*',*(C)),*(B)))))))),A)),s,[sub(\(D,@(*(D),^(j))),E,m)],[],1,8)
iv(\(A,@(@('wish_to*',^(\(B,exists(C,/\(@(unicorn,C),@(@('find*',*(C)),*(B))))))),A)),s,[],[],1,5)
iv(\(A,@(@('wish_to*',^(\(B,exists(C,/\(@(unicorn,C),@(@('find*',*(C)),*(B))))))),A)),s,[sub(\(D,@(*(D),^(j))),E,m)],[],1,5)
iv(\(A,exists(B,/\(@(unicorn,B),/\(@(@('find*',*(B)),*(A)),@(@('eat*',*(B)),*(A)))))),i,[],[],2,8)
iv(\(A,exists(B,/\(@(unicorn,B),/\(@(@('find*',*(B)),*(A)),@(@('eat*',*(B)),*(A)))))),i,[sub(\(C,@(*(C),^(j))),D,m)],[],2,8)
iv(\(A,exists(B,/\(@(unicorn,B),@(@('find*',*(B)),*(A))))),i,[],[],2,5)
iv(\(A,exists(B,/\(@(unicorn,B),@(@('find*',*(B)),*(A))))),i,[sub(\(C,@(*(C),^(j))),D,m)],[],2,5)
iv(\(A,exists(B,/\(@(unicorn,B),@(@('wish_to*',^(\(C,/\(@(@('find*',*(B)),*(C)),@(@('eat*',*(B)),*(C)))))),A)))),s,[],[],1,8)
iv(\(A,exists(B,/\(@(unicorn,B),@(@('wish_to*',^(\(C,/\(@(@('find*',*(B)),*(C)),@(@('eat*',*(B)),*(C)))))),A)))),s,[sub(\(D,@(*(D),^(j))),E,m)],[],1,8)
iv(\(A,exists(B,/\(@(unicorn,B),@(@('wish_to*',^(\(C,@(@('find*',*(B)),*(C))))),A)))),s,[],[],1,5)
iv(\(A,exists(B,/\(@(unicorn,B),@(@('wish_to*',^(\(C,@(@('find*',*(B)),*(C))))),A)))),s,[sub(\(D,@(*(D),^(j))),E,m)],[],1,5)