(forall (a - @onta:Asset          lat long - Float)    (if (@onta:location            a (tuple lat long))        (exists (b - @ontb:Place)           (and (is @ontb:Physob a)                (@ontb:in a b)                (@ontb:loc b lat long))))
		You can (and must) use this backward or forward, but you can’t avoid using it.