s(/\(@(@('believe_that*',^(@(@('find*',*(A)),*(B)))),C),@(@('eat*',*(A)),*(B))),[],[sub(\(D,@(*(D),^(m))),C,f),sub(\(E,@(*(E),^(j))),B,m),sub(\(F,exists(G,/\(@(unicorn,G),@(*(F),G)))),A,n)],0,10)
s(/\(@(@('believe_that*',^(@(@('find*',*(A)),*(B)))),^(m)),@(@('eat*',*(A)),*(B))),[],[sub(\(C,@(*(C),^(j))),B,m),sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),A,n)],0,10)
s(/\(@(@('believe_that*',^(@(@('find*',*(A)),j))),B),@(@('eat*',*(A)),j)),[],[sub(\(C,@(*(C),^(m))),B,f),sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),A,n)],0,10)
s(/\(@(@('believe_that*',^(@(@('find*',*(A)),j))),^(m)),@(@('eat*',*(A)),j)),[],[sub(\(B,exists(C,/\(@(unicorn,C),@(*(B),C)))),A,n)],0,10)
s(/\(@(@('find*',*(A)),*(B)),@(@('eat*',*(A)),*(B))),[],[sub(\(C,@(*(C),^(j))),B,m),sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),A,n)],2,10)
s(/\(@(@('find*',*(A)),*(B)),@(@('eat*',*(A)),*(B))),[sub(\(C,@(*(C),^(m))),D,f)],[sub(\(E,@(*(E),^(j))),B,m),sub(\(F,exists(G,/\(@(unicorn,G),@(*(F),G)))),A,n)],2,10)
s(/\(@(@('find*',*(A)),j),@(@('eat*',*(A)),j)),[],[sub(\(B,exists(C,/\(@(unicorn,C),@(*(B),C)))),A,n)],2,10)
s(/\(@(@('find*',*(A)),j),@(@('eat*',*(A)),j)),[sub(\(B,@(*(B),^(m))),C,f)],[sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),A,n)],2,10)
s(@(@('believe_that*',^(/\(@(@('find*',*(A)),*(B)),@(@('eat*',*(A)),*(B))))),C),[],[sub(\(D,@(*(D),^(m))),C,f),sub(\(E,@(*(E),^(j))),B,m),sub(\(F,exists(G,/\(@(unicorn,G),@(*(F),G)))),A,n)],0,10)
s(@(@('believe_that*',^(/\(@(@('find*',*(A)),*(B)),@(@('eat*',*(A)),*(B))))),^(m)),[],[sub(\(C,@(*(C),^(j))),B,m),sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),A,n)],0,10)
s(@(@('believe_that*',^(/\(@(@('find*',*(A)),j),@(@('eat*',*(A)),j)))),B),[],[sub(\(C,@(*(C),^(m))),B,f),sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),A,n)],0,10)
s(@(@('believe_that*',^(/\(@(@('find*',*(A)),j),@(@('eat*',*(A)),j)))),^(m)),[],[sub(\(B,exists(C,/\(@(unicorn,C),@(*(B),C)))),A,n)],0,10)
s(@(@('believe_that*',^(@(@('find*',*(A)),*(B)))),C),[],[sub(\(D,@(*(D),^(m))),C,f),sub(\(E,@(*(E),^(j))),B,m),sub(\(F,exists(G,/\(@(unicorn,G),@(*(F),G)))),A,n)],0,6)
s(@(@('believe_that*',^(@(@('find*',*(A)),*(B)))),^(m)),[],[sub(\(C,@(*(C),^(j))),B,m),sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),A,n)],0,6)
s(@(@('believe_that*',^(@(@('find*',*(A)),j))),B),[],[sub(\(C,@(*(C),^(m))),B,f),sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),A,n)],0,6)
s(@(@('believe_that*',^(@(@('find*',*(A)),j))),^(m)),[],[sub(\(B,exists(C,/\(@(unicorn,C),@(*(B),C)))),A,n)],0,6)
s(@(@('believe_that*',^(exists(A,/\(@(unicorn,A),/\(@(@('find*',*(A)),*(B)),@(@('eat*',*(A)),*(B))))))),C),[],[sub(\(D,@(*(D),^(m))),C,f),sub(\(E,@(*(E),^(j))),B,m)],0,10)
s(@(@('believe_that*',^(exists(A,/\(@(unicorn,A),/\(@(@('find*',*(A)),*(B)),@(@('eat*',*(A)),*(B))))))),^(m)),[],[sub(\(C,@(*(C),^(j))),B,m)],0,10)
s(@(@('believe_that*',^(exists(A,/\(@(unicorn,A),/\(@(@('find*',*(A)),j),@(@('eat*',*(A)),j)))))),B),[],[sub(\(C,@(*(C),^(m))),B,f)],0,10)
s(@(@('believe_that*',^(exists(A,/\(@(unicorn,A),/\(@(@('find*',*(A)),j),@(@('eat*',*(A)),j)))))),^(m)),[],[],0,10)
s(@(@('believe_that*',^(exists(A,/\(@(unicorn,A),@(@('find*',*(A)),*(B)))))),C),[],[sub(\(D,@(*(D),^(m))),C,f),sub(\(E,@(*(E),^(j))),B,m)],0,6)
s(@(@('believe_that*',^(exists(A,/\(@(unicorn,A),@(@('find*',*(A)),*(B)))))),^(m)),[],[sub(\(C,@(*(C),^(j))),B,m)],0,6)
s(@(@('believe_that*',^(exists(A,/\(@(unicorn,A),@(@('find*',*(A)),j))))),B),[],[sub(\(C,@(*(C),^(m))),B,f)],0,6)
s(@(@('believe_that*',^(exists(A,/\(@(unicorn,A),@(@('find*',*(A)),j))))),^(m)),[],[],0,6)
s(@(@('eat*',*(A)),*(B)),[sub(\(C,@(*(C),^(j))),B,m),sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),A,n)],[],7,10)
s(@(@('eat*',*(A)),*(B)),[sub(\(C,@(*(C),^(m))),D,f),sub(\(E,@(*(E),^(j))),B,m),sub(\(F,exists(G,/\(@(unicorn,G),@(*(F),G)))),A,n)],[],7,10)
s(@(@('find*',*(A)),*(B)),[],[sub(\(C,@(*(C),^(j))),B,m),sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),A,n)],2,6)
s(@(@('find*',*(A)),*(B)),[sub(\(C,@(*(C),^(m))),D,f)],[sub(\(E,@(*(E),^(j))),B,m),sub(\(F,exists(G,/\(@(unicorn,G),@(*(F),G)))),A,n)],2,6)
s(@(@('find*',*(A)),j),[],[sub(\(B,exists(C,/\(@(unicorn,C),@(*(B),C)))),A,n)],2,6)
s(@(@('find*',*(A)),j),[sub(\(B,@(*(B),^(m))),C,f)],[sub(\(D,exists(E,/\(@(unicorn,E),@(*(D),E)))),A,n)],2,6)
s(exists(A,/\(@(unicorn,A),/\(@(@('believe_that*',^(@(@('find*',*(A)),*(B)))),C),@(@('eat*',*(A)),*(B))))),[],[sub(\(D,@(*(D),^(m))),C,f),sub(\(E,@(*(E),^(j))),B,m)],0,10)
s(exists(A,/\(@(unicorn,A),/\(@(@('believe_that*',^(@(@('find*',*(A)),*(B)))),^(m)),@(@('eat*',*(A)),*(B))))),[],[sub(\(C,@(*(C),^(j))),B,m)],0,10)
s(exists(A,/\(@(unicorn,A),/\(@(@('believe_that*',^(@(@('find*',*(A)),j))),B),@(@('eat*',*(A)),j)))),[],[sub(\(C,@(*(C),^(m))),B,f)],0,10)
s(exists(A,/\(@(unicorn,A),/\(@(@('believe_that*',^(@(@('find*',*(A)),j))),^(m)),@(@('eat*',*(A)),j)))),[],[],0,10)
s(exists(A,/\(@(unicorn,A),/\(@(@('find*',*(A)),*(B)),@(@('eat*',*(A)),*(B))))),[],[sub(\(C,@(*(C),^(j))),B,m)],2,10)
s(exists(A,/\(@(unicorn,A),/\(@(@('find*',*(A)),*(B)),@(@('eat*',*(A)),*(B))))),[sub(\(C,@(*(C),^(m))),D,f)],[sub(\(E,@(*(E),^(j))),B,m)],2,10)
s(exists(A,/\(@(unicorn,A),/\(@(@('find*',*(A)),j),@(@('eat*',*(A)),j)))),[],[],2,10)
s(exists(A,/\(@(unicorn,A),/\(@(@('find*',*(A)),j),@(@('eat*',*(A)),j)))),[sub(\(B,@(*(B),^(m))),C,f)],[],2,10)
s(exists(A,/\(@(unicorn,A),@(@('believe_that*',^(/\(@(@('find*',*(A)),*(B)),@(@('eat*',*(A)),*(B))))),C))),[],[sub(\(D,@(*(D),^(m))),C,f),sub(\(E,@(*(E),^(j))),B,m)],0,10)
s(exists(A,/\(@(unicorn,A),@(@('believe_that*',^(/\(@(@('find*',*(A)),*(B)),@(@('eat*',*(A)),*(B))))),^(m)))),[],[sub(\(C,@(*(C),^(j))),B,m)],0,10)
s(exists(A,/\(@(unicorn,A),@(@('believe_that*',^(/\(@(@('find*',*(A)),j),@(@('eat*',*(A)),j)))),B))),[],[sub(\(C,@(*(C),^(m))),B,f)],0,10)
s(exists(A,/\(@(unicorn,A),@(@('believe_that*',^(/\(@(@('find*',*(A)),j),@(@('eat*',*(A)),j)))),^(m)))),[],[],0,10)
s(exists(A,/\(@(unicorn,A),@(@('believe_that*',^(@(@('find*',*(A)),*(B)))),C))),[],[sub(\(D,@(*(D),^(m))),C,f),sub(\(E,@(*(E),^(j))),B,m)],0,6)
s(exists(A,/\(@(unicorn,A),@(@('believe_that*',^(@(@('find*',*(A)),*(B)))),^(m)))),[],[sub(\(C,@(*(C),^(j))),B,m)],0,6)
s(exists(A,/\(@(unicorn,A),@(@('believe_that*',^(@(@('find*',*(A)),j))),B))),[],[sub(\(C,@(*(C),^(m))),B,f)],0,6)
s(exists(A,/\(@(unicorn,A),@(@('believe_that*',^(@(@('find*',*(A)),j))),^(m)))),[],[],0,6)
s(exists(A,/\(@(unicorn,A),@(@('find*',*(A)),*(B)))),[],[sub(\(C,@(*(C),^(j))),B,m)],2,6)
s(exists(A,/\(@(unicorn,A),@(@('find*',*(A)),*(B)))),[sub(\(C,@(*(C),^(m))),D,f)],[sub(\(E,@(*(E),^(j))),B,m)],2,6)
s(exists(A,/\(@(unicorn,A),@(@('find*',*(A)),j))),[],[],2,6)
s(exists(A,/\(@(unicorn,A),@(@('find*',*(A)),j))),[sub(\(B,@(*(B),^(m))),C,f)],[],2,6)