This property allows the ending time point of an E7 Activity to be situated during the time extent of another Activity.
ends within (Aend < Bend & Aend > Bstart)
This property can be expressed using a set of possible Allen operators such as: {meets, overlaps, starts, during, finishes, finished-by, equals}. The temporal primitive is implied when the ending point of the domain activity is after (or at) the starting point of the range and before (or at) the end of the range. Time inequality is considered to be a non-overlap over the fuzzy boundary zones, and serves the representation of time imprecision. [There must not be an overlap between the fuzzy boundary zones.]