(<=> (After ?Time-Range-1 ?Time-Range-2) (< (End-Time-Of ?Time-Range-2) (Start-Time-Of ?Time-Range-1)))
(<=> (After= ?Time-Range-1 ?Time-Range-2) (Or (After ?Time-Range-1 ?Time-Range-2) (Meets ?Time-Range-2 ?Time-Range-1)))