Is this assertion true with respect to our world?
(#$not (#$and (#$isa ?TRANS #$Translation-LocationChange) (#$toLocation ?TRANS ?TO) (#$fromLocation ?TRANS ?FROM) (#$inRegion ?TO ?FROM)))