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