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