(=> (Equals ?Time-Point-1 ?Time-Point-2) (=> (And (Time-Point ?Time-Point-1) (Time-Point ?Time-Point-2)) (<=> (Equals ?Time-Point-1 ?Time-Point-2) (And (= (Year-Of ?Time-Point-1) (Year-Of ?Time-Point-2)) (= (Month-Of ?Time-Point-1) (Month-Of ?Time-Point-2)) (= (Day-Of ?Time-Point-1) (Day-Of ?Time-Point-2)) (= (Hour-Of ?Time-Point-1) (Hour-Of ?Time-Point-2)) (= (Minute-Of ?Time-Point-1) (Minute-Of ?Time-Point-2)) (= (Second-Of ?Time-Point-1) (Second-Of ?Time-Point-2)))))) (=> (< ?Time-Point-1 ?Time-Point-2) (=> (And (Time-Point ?Time-Point-1) (Time-Point ?Time-Point-2)) (<=> (< ?Time-Point-1 ?Time-Point-2) (Or (< (Year-Of ?Time-Point-1) (Year-Of ?Time-Point-2)) (And (= (Year-Of ?Time-Point-1) (Year-Of ?Time-Point-2)) (Or (< (Month-Of ?Time-Point-1) (Month-Of ?Time-Point-2)) (And (= (Month-Of ?Time-Point-1) (Month-Of ?Time-Point-2)) (Or (< (Day-Of ?Time-Point-1) (Day-Of ?Time-Point-2)) (And (= (Day-Of ?Time-Point-1) (Day-Of ?Time-Point-2)) (Or (< (Hour-Of ?Time-Point-1) (Hour-Of ?Time-Point-2)) (And (= (Hour-Of ?Time-Point-1) (Hour-Of ?Time-Point-2)) (Or (< (Minute-Of ?Time-Point-1) (Minute-Of ?Time-Point-2)) (And (= (Minute-Of ?Time-Point-1) (Minute-Of ?Time-Point-2)) (< (Second-Of ?Time-Point-1) (Second-Of ?Time-Point-2)))))))))))))))