finishes
If an Interval T1 finishes another interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is coincident with the end of T2.
finishes
If an Interval T1 finishes another interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is coincident with the end of T2.
type
comment
If an Interval T1 finishes ano ...... coincident with the end of T2.
@en
label
finishes
@en
seeAlso
note
Compares an instance of ids:In ...... rval or one interval is empty.
@en