Scope note:
This property allows the entire E52 Time-Span of an E2 Temporal Entity to be situated within the Time-Span of another temporal entity that starts before and ends after the included temporal entity.
This property is only necessary if the time span is unknown (otherwise the relationship can be calculated). This property is the same as the "during / includes" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).
Examples:
- Middle Saxon period (E4) occurs during Saxon period (E4)
In First Order Logic:
P117(x,y) ⊃ E2(x)
P117(x,y) ⊃ E2(y)