This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends before or simultaneously with the end of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [Astart, Aend] and B = [Bstart, Bend], we mean Aend ≤ Bend is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to a disjunction (logical OR) of the following Allen temporal relations Allen, 1983]: {before, meets, overlaps, finished by, start, equals, during, finishes}
Figure 20: Temporal entity A ends before or with the end of temporal entity B. Here A is longer than B
Figure 21: Temporal entity A ends before or with the end of temporal entity B. Here A is shorter than B