iv(\(A,@('walk*',*(A))),s,[],[],1,2)
iv(\(A,@('walk*',*(A))),s,[sub(\(B,@(*(B),^(j))),C,m)],[],1,2)
iv(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)),s,[],[sub(\(D,exists(E,/\(@(park,E),@(*(D),E)))),B,n)],1,5)
iv(\(A,@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)),s,[sub(\(D,@(*(D),^(j))),E,m)],[sub(\(F,exists(G,/\(@(park,G),@(*(F),G)))),B,n)],1,5)
iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),s,[],[],1,5)
iv(\(A,exists(B,/\(@(park,B),@(@(@('in*',*(B)),^(\(C,@('walk*',*(C))))),A)))),s,[sub(\(D,@(*(D),^(j))),E,m)],[],1,5)