All parts of temporal regions ...... in BFO2 Reference: [101-001])
@en
Every temporal region t is suc ...... in BFO2 Reference: [119-002])
@en