[FN016] connecting spatial occupation and existence

[fabianneuhaus]

I suggest to add the following axiom (cl:comment "If x occupies_spatial_region r at t, then x exists at t [FN016-001] ")

(forall (x r t) (if (occupies_spatial_region x r t) (exists_at x t )))