(Inherited-Facet-Value Slot-Cardinality
Universal-Time-Spec
Timepoint.Minutes
1)
(=> (Universal-Time-Spec ?T)
(And (Value-Cardinality ?T Timepoint.Seconds 1)
(Value-Cardinality ?T Timepoint.Minutes 1)
(Value-Cardinality ?T Timepoint.Day 1)
(Value-Cardinality ?T Timepoint.Month 1)
(Value-Cardinality ?T Timepoint.Year 1)))
(=> (Timepoint.Minutes $X $Y) (Integer $Y))
(=> (Timepoint.Minutes $X $Y) (Timepoint $X))
(=> (= (Timepoint.Minutes ?Timepoint) ?Minutes) (=< ?Minutes 59))
(=> (= (Timepoint.Minutes ?Timepoint) ?Minutes) (=< 0 ?Minutes))