valid_time
EXPRESS specification:
FUNCTION
valid_time
(time: local_time) : BOOLEAN;
IF EXISTS (time.second_component) THEN
RETURN (EXISTS (time.minute_component));
ELSE
RETURN (TRUE);
END_IF;
END_FUNCTION
;