(<=> (Disjoint-Time-Ranges ?Time-Range-1 ?Time-Range-2) (Or (Before ?Time-Range-1 ?Time-Range-2) (Before ?Time-Range-2 ?Time-Range-1)))