iv(\(A,/\(@(@('try_to*',^(\(B,@(@('find*',*(C)),*(B))))),A),@(@('wish_to*',^(\(D,@(@('eat*',*(C)),*(D))))),A))),s,[],[sub(\(E,exists(F,/\(@(unicorn,F),@(*(E),F)))),C,n)],1,9)
iv(\(A,/\(@(@('try_to*',^(\(B,@(@('find*',*(C)),*(B))))),A),@(@('wish_to*',^(\(D,@(@('eat*',*(C)),*(D))))),A))),s,[sub(\(E,@(*(E),^(j))),F,m)],[sub(\(G,exists(H,/\(@(unicorn,H),@(*(G),H)))),C,n)],1,9)
iv(\(A,@(@('eat*',*(B)),*(A))),i,[sub(\(C,@(*(C),^(j))),D,m),sub(\(E,exists(F,/\(@(unicorn,F),@(*(E),F)))),B,n)],[],7,9)
iv(\(A,@(@('eat*',*(B)),*(A))),i,[sub(\(C,exists(D,/\(@(unicorn,D),@(*(C),D)))),B,n)],[],7,9)
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,@(@('try_to*',^(\(B,@(@('find*',*(C)),*(B))))),A)),s,[],[sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),C,n)],1,5)
iv(\(A,@(@('try_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,@(@('try_to*',^(\(B,exists(C,/\(@(unicorn,C),@(@('find*',*(C)),*(B))))))),A)),s,[],[],1,5)
iv(\(A,@(@('try_to*',^(\(B,exists(C,/\(@(unicorn,C),@(@('find*',*(C)),*(B))))))),A)),s,[sub(\(D,@(*(D),^(j))),E,m)],[],1,5)
iv(\(A,@(@('wish_to*',^(\(B,@(@('eat*',*(C)),*(B))))),A)),s,[sub(\(D,@(*(D),^(j))),E,m),sub(\(F,exists(G,/\(@(unicorn,G),@(*(F),G)))),C,n)],[],6,9)
iv(\(A,@(@('wish_to*',^(\(B,@(@('eat*',*(C)),*(B))))),A)),s,[sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),C,n)],[],6,9)
iv(\(A,exists(B,/\(@(unicorn,B),/\(@(@('try_to*',^(\(C,@(@('find*',*(B)),*(C))))),A),@(@('wish_to*',^(\(D,@(@('eat*',*(B)),*(D))))),A))))),s,[],[],1,9)
iv(\(A,exists(B,/\(@(unicorn,B),/\(@(@('try_to*',^(\(C,@(@('find*',*(B)),*(C))))),A),@(@('wish_to*',^(\(D,@(@('eat*',*(B)),*(D))))),A))))),s,[sub(\(E,@(*(E),^(j))),F,m)],[],1,9)
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),@(@('try_to*',^(\(C,@(@('find*',*(B)),*(C))))),A)))),s,[],[],1,5)
iv(\(A,exists(B,/\(@(unicorn,B),@(@('try_to*',^(\(C,@(@('find*',*(B)),*(C))))),A)))),s,[sub(\(D,@(*(D),^(j))),E,m)],[],1,5)