a time range ?time-range-1 and a time range ?time-range-2 starts at thesame time and a duration of ?time-range-1 is shorter than that of
?time-range-2.
(=> (Starts ?Time-Range-1 ?Time-Range-2) (< (End-Time-Of ?Time-Range-1) (End-Time-Of ?Time-Range-2))) (=> (Starts ?Time-Range-1 ?Time-Range-2) (Equals (Start-Time-Of ?Time-Range-1) (Start-Time-Of ?Time-Range-2)))
(<=> (Starts ?Time-Range-1 ?Time-Range-2) (And (Equals (Start-Time-Of ?Time-Range-1) (Start-Time-Of ?Time-Range-2)) (< (End-Time-Of ?Time-Range-1) (End-Time-Of ?Time-Range-2))))
(<=> (During= ?Time-Range-1 ?Time-Range-2) (Or (During ?Time-Range-1 ?Time-Range-2) (Starts ?Time-Range-1 ?Time-Range-2) (Finishes ?Time-Range-1 ?Time-Range-2) (Equals ?Time-Range-1 ?Time-Range-2))) (<=> (Start= ?Time-Range-1 ?Time-Range-2) (Or (Starts ?Time-Range-1 ?Time-Range-2) (Equals ?Time-Range-1 ?Time-Range-2)))