te1(\(A,@(*(A),^(j))),sub,m,[],[],0,1)
te1(\(A,exists(B,/\(@(park,B),@(*(A),B)))),obj,n,[],[],3,5)
te1(\(A,exists(B,/\(@(park,B),@(*(A),B)))),obj,n,[sub(\(C,@(*(C),^(j))),D,m)],[],3,5)