a time range ?time-range-1 is properly included in a time range?time-range-2.
(=> (During ?Time-Range-1 ?Time-Range-2) (< (End-Time-Of ?Time-Range-1) (End-Time-Of ?Time-Range-2))) (=> (During ?Time-Range-1 ?Time-Range-2) (> (Start-Time-Of ?Time-Range-1) (Start-Time-Of ?Time-Range-2)))
(<=> (During ?Time-Range-1 ?Time-Range-2) (And (> (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)))