s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,@('walk*',*(A))))),B))),C),[],[sub(\(D,@(*(D),^(j))),C,m),sub(\(E,@(*(E),^(m))),B,f)],0,5)
s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,@('walk*',*(A))))),B))),^(j)),[],[sub(\(C,@(*(C),^(m))),B,f)],0,5)
s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,@('walk*',*(A))))),^(m)))),B),[],[sub(\(C,@(*(C),^(j))),B,m)],0,5)
s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,@('walk*',*(A))))),^(m)))),^(j)),[],[],0,5)
s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),D))),E),[],[sub(\(F,@(*(F),^(j))),E,m),sub(\(G,@(*(G),^(m))),D,f),sub(\(H,exists(I,/\(@(park,I),@(*(H),I)))),B,n)],0,8)
s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),D))),^(j)),[],[sub(\(E,@(*(E),^(m))),D,f),sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),B,n)],0,8)
s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),^(m)))),D),[],[sub(\(E,@(*(E),^(j))),D,m),sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),B,n)],0,8)
s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),^(m)))),^(j)),[],[sub(\(D,exists(E,/\(@(park,E),@(*(D),E)))),B,n)],0,8)
s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))))),D))),E),[],[sub(\(F,@(*(F),^(j))),E,m),sub(\(G,@(*(G),^(m))),D,f)],0,8)
s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))))),D))),^(j)),[],[sub(\(E,@(*(E),^(m))),D,f)],0,8)
s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))))),^(m)))),D),[],[sub(\(E,@(*(E),^(j))),D,m)],0,8)
s(@(@('believe_that*',^(@(@('wish_to*',^(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))))),^(m)))),^(j)),[],[],0,8)
s(@(@('believe_that*',^(@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),D))),E),[],[sub(\(F,@(*(F),^(j))),E,m),sub(\(G,@(*(G),^(m))),D,f),sub(\(H,exists(I,/\(@(park,I),@(*(H),I)))),A,n)],0,8)
s(@(@('believe_that*',^(@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),D))),^(j)),[],[sub(\(E,@(*(E),^(m))),D,f),sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),A,n)],0,8)
s(@(@('believe_that*',^(@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),^(m)))),D),[],[sub(\(E,@(*(E),^(j))),D,m),sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),A,n)],0,8)
s(@(@('believe_that*',^(@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),^(m)))),^(j)),[],[sub(\(D,exists(E,/\(@(park,E),@(*(D),E)))),A,n)],0,8)
s(@(@('believe_that*',^(exists(A,/\(@(park,A),@(@('wish_to*',^(\(B,@(@(@('in*',*(A)),^(\(C,@('walk*',*(C))))),B)))),D))))),E),[],[sub(\(F,@(*(F),^(j))),E,m),sub(\(G,@(*(G),^(m))),D,f)],0,8)
s(@(@('believe_that*',^(exists(A,/\(@(park,A),@(@('wish_to*',^(\(B,@(@(@('in*',*(A)),^(\(C,@('walk*',*(C))))),B)))),D))))),^(j)),[],[sub(\(E,@(*(E),^(m))),D,f)],0,8)
s(@(@('believe_that*',^(exists(A,/\(@(park,A),@(@('wish_to*',^(\(B,@(@(@('in*',*(A)),^(\(C,@('walk*',*(C))))),B)))),^(m)))))),D),[],[sub(\(E,@(*(E),^(j))),D,m)],0,8)
s(@(@('believe_that*',^(exists(A,/\(@(park,A),@(@('wish_to*',^(\(B,@(@(@('in*',*(A)),^(\(C,@('walk*',*(C))))),B)))),^(m)))))),^(j)),[],[],0,8)
s(@(@('believe_that*',^(exists(A,/\(@(park,A),@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),D))))),E),[],[sub(\(F,@(*(F),^(j))),E,m),sub(\(G,@(*(G),^(m))),D,f)],0,8)
s(@(@('believe_that*',^(exists(A,/\(@(park,A),@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),D))))),^(j)),[],[sub(\(E,@(*(E),^(m))),D,f)],0,8)
s(@(@('believe_that*',^(exists(A,/\(@(park,A),@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),^(m)))))),D),[],[sub(\(E,@(*(E),^(j))),D,m)],0,8)
s(@(@('believe_that*',^(exists(A,/\(@(park,A),@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),^(m)))))),^(j)),[],[],0,8)
s(@(@('wish_to*',^(\(A,@('walk*',*(A))))),B),[],[sub(\(C,@(*(C),^(m))),B,f)],2,5)
s(@(@('wish_to*',^(\(A,@('walk*',*(A))))),B),[sub(\(C,@(*(C),^(j))),D,m)],[sub(\(E,@(*(E),^(m))),B,f)],2,5)
s(@(@('wish_to*',^(\(A,@('walk*',*(A))))),^(m)),[],[],2,5)
s(@(@('wish_to*',^(\(A,@('walk*',*(A))))),^(m)),[sub(\(B,@(*(B),^(j))),C,m)],[],2,5)
s(@(@('wish_to*',^(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),D),[],[sub(\(E,@(*(E),^(m))),D,f),sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),B,n)],2,8)
s(@(@('wish_to*',^(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),D),[sub(\(E,@(*(E),^(j))),F,m)],[sub(\(G,@(*(G),^(m))),D,f),sub(\(H,exists(I,/\(@(park,I),@(*(H),I)))),B,n)],2,8)
s(@(@('wish_to*',^(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),^(m)),[],[sub(\(D,exists(E,/\(@(park,E),@(*(D),E)))),B,n)],2,8)
s(@(@('wish_to*',^(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),^(m)),[sub(\(D,@(*(D),^(j))),E,m)],[sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),B,n)],2,8)
s(@(@('wish_to*',^(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))))),D),[],[sub(\(E,@(*(E),^(m))),D,f)],2,8)
s(@(@('wish_to*',^(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))))),D),[sub(\(E,@(*(E),^(j))),F,m)],[sub(\(G,@(*(G),^(m))),D,f)],2,8)
s(@(@('wish_to*',^(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))))),^(m)),[],[],2,8)
s(@(@('wish_to*',^(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))))),^(m)),[sub(\(D,@(*(D),^(j))),E,m)],[],2,8)
s(@(@(@('in*',*(A)),^(\(B,@(@('believe_that*',^(@(@('wish_to*',^(\(C,@('walk*',*(C))))),D))),B)))),E),[],[sub(\(F,@(*(F),^(j))),E,m),sub(\(G,@(*(G),^(m))),D,f),sub(\(H,exists(I,/\(@(park,I),@(*(H),I)))),A,n)],0,8)
s(@(@(@('in*',*(A)),^(\(B,@(@('believe_that*',^(@(@('wish_to*',^(\(C,@('walk*',*(C))))),D))),B)))),^(j)),[],[sub(\(E,@(*(E),^(m))),D,f),sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),A,n)],0,8)
s(@(@(@('in*',*(A)),^(\(B,@(@('believe_that*',^(@(@('wish_to*',^(\(C,@('walk*',*(C))))),^(m)))),B)))),D),[],[sub(\(E,@(*(E),^(j))),D,m),sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),A,n)],0,8)
s(@(@(@('in*',*(A)),^(\(B,@(@('believe_that*',^(@(@('wish_to*',^(\(C,@('walk*',*(C))))),^(m)))),B)))),^(j)),[],[sub(\(D,exists(E,/\(@(park,E),@(*(D),E)))),A,n)],0,8)
s(@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),D),[],[sub(\(E,@(*(E),^(m))),D,f),sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),A,n)],2,8)
s(@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),D),[sub(\(E,@(*(E),^(j))),F,m)],[sub(\(G,@(*(G),^(m))),D,f),sub(\(H,exists(I,/\(@(park,I),@(*(H),I)))),A,n)],2,8)
s(@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),^(m)),[],[sub(\(D,exists(E,/\(@(park,E),@(*(D),E)))),A,n)],2,8)
s(@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),^(m)),[sub(\(D,@(*(D),^(j))),E,m)],[sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),A,n)],2,8)
s(exists(A,/\(@(park,A),@(@('believe_that*',^(@(@('wish_to*',^(\(B,@(@(@('in*',*(A)),^(\(C,@('walk*',*(C))))),B)))),D))),E))),[],[sub(\(F,@(*(F),^(j))),E,m),sub(\(G,@(*(G),^(m))),D,f)],0,8)
s(exists(A,/\(@(park,A),@(@('believe_that*',^(@(@('wish_to*',^(\(B,@(@(@('in*',*(A)),^(\(C,@('walk*',*(C))))),B)))),D))),^(j)))),[],[sub(\(E,@(*(E),^(m))),D,f)],0,8)
s(exists(A,/\(@(park,A),@(@('believe_that*',^(@(@('wish_to*',^(\(B,@(@(@('in*',*(A)),^(\(C,@('walk*',*(C))))),B)))),^(m)))),D))),[],[sub(\(E,@(*(E),^(j))),D,m)],0,8)
s(exists(A,/\(@(park,A),@(@('believe_that*',^(@(@('wish_to*',^(\(B,@(@(@('in*',*(A)),^(\(C,@('walk*',*(C))))),B)))),^(m)))),^(j)))),[],[],0,8)
s(exists(A,/\(@(park,A),@(@('believe_that*',^(@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),D))),E))),[],[sub(\(F,@(*(F),^(j))),E,m),sub(\(G,@(*(G),^(m))),D,f)],0,8)
s(exists(A,/\(@(park,A),@(@('believe_that*',^(@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),D))),^(j)))),[],[sub(\(E,@(*(E),^(m))),D,f)],0,8)
s(exists(A,/\(@(park,A),@(@('believe_that*',^(@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),^(m)))),D))),[],[sub(\(E,@(*(E),^(j))),D,m)],0,8)
s(exists(A,/\(@(park,A),@(@('believe_that*',^(@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),^(m)))),^(j)))),[],[],0,8)
s(exists(A,/\(@(park,A),@(@('wish_to*',^(\(B,@(@(@('in*',*(A)),^(\(C,@('walk*',*(C))))),B)))),D))),[],[sub(\(E,@(*(E),^(m))),D,f)],2,8)
s(exists(A,/\(@(park,A),@(@('wish_to*',^(\(B,@(@(@('in*',*(A)),^(\(C,@('walk*',*(C))))),B)))),D))),[sub(\(E,@(*(E),^(j))),F,m)],[sub(\(G,@(*(G),^(m))),D,f)],2,8)
s(exists(A,/\(@(park,A),@(@('wish_to*',^(\(B,@(@(@('in*',*(A)),^(\(C,@('walk*',*(C))))),B)))),^(m)))),[],[],2,8)
s(exists(A,/\(@(park,A),@(@('wish_to*',^(\(B,@(@(@('in*',*(A)),^(\(C,@('walk*',*(C))))),B)))),^(m)))),[sub(\(D,@(*(D),^(j))),E,m)],[],2,8)
s(exists(A,/\(@(park,A),@(@(@('in*',*(A)),^(\(B,@(@('believe_that*',^(@(@('wish_to*',^(\(C,@('walk*',*(C))))),D))),B)))),E))),[],[sub(\(F,@(*(F),^(j))),E,m),sub(\(G,@(*(G),^(m))),D,f)],0,8)
s(exists(A,/\(@(park,A),@(@(@('in*',*(A)),^(\(B,@(@('believe_that*',^(@(@('wish_to*',^(\(C,@('walk*',*(C))))),D))),B)))),^(j)))),[],[sub(\(E,@(*(E),^(m))),D,f)],0,8)
s(exists(A,/\(@(park,A),@(@(@('in*',*(A)),^(\(B,@(@('believe_that*',^(@(@('wish_to*',^(\(C,@('walk*',*(C))))),^(m)))),B)))),D))),[],[sub(\(E,@(*(E),^(j))),D,m)],0,8)
s(exists(A,/\(@(park,A),@(@(@('in*',*(A)),^(\(B,@(@('believe_that*',^(@(@('wish_to*',^(\(C,@('walk*',*(C))))),^(m)))),B)))),^(j)))),[],[],0,8)
s(exists(A,/\(@(park,A),@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),D))),[],[sub(\(E,@(*(E),^(m))),D,f)],2,8)
s(exists(A,/\(@(park,A),@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),D))),[sub(\(E,@(*(E),^(j))),F,m)],[sub(\(G,@(*(G),^(m))),D,f)],2,8)
s(exists(A,/\(@(park,A),@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),^(m)))),[],[],2,8)
s(exists(A,/\(@(park,A),@(@(@('in*',*(A)),^(\(B,@(@('wish_to*',^(\(C,@('walk*',*(C))))),B)))),^(m)))),[sub(\(D,@(*(D),^(j))),E,m)],[],2,8)