(cl:comment "history is subclass of process [abo-1]"
(forall (t x)
(if (instance-of x history t) (instance-of x process t))))
(cl:comment "two-dimensional-spatial-region is subclass of spatial-region [abo-1]"
(forall (t x)
(if (instance-of x two-dimensional-spatial-region t)
(instance-of x spatial-region t))))
(cl:comment "history is subclass of process [abo-1]" (forall (t x) (if (instance-of x history t) (instance-of x process t))))
(cl:comment "two-dimensional-spatial-region is subclass of spatial-region [abo-1]" (forall (t x) (if (instance-of x two-dimensional-spatial-region t) (instance-of x spatial-region t))))