(forall (r) (if (TemporalRegio ...... label in BFO2 CLIF: [119-002]
(forall (x y) (if (and (Tempor ...... label in BFO2 CLIF: [101-001]
(forall (x) (if (TemporalRegio ...... label in BFO2 CLIF: [100-001]