deferred class
	DATE_TIME_MEASUREMENT

General
	cluster: time
	description: "Date/Time Measurement"

Ancestors
	DATE_CONSTANTS
	TIME_CONSTANTS

Queries
	date: DATE_MEASUREMENT
	date_default_format_string: STRING
	day: INTEGER
	days_in_i_th_month (i, y: INTEGER): INTEGER
	Days_in_leap_year: INTEGER
	Days_in_non_leap_year: INTEGER
	Days_in_week: INTEGER
	days_text: ARRAY [STRING]
	fine_second: DOUBLE
	hour: INTEGER
	Hours_in_day: INTEGER
	is_leap_year (y: INTEGER): BOOLEAN
	long_days_text: ARRAY [STRING]
	long_months_text: ARRAY [STRING]
	Max_weeks_in_year: INTEGER
	minute: INTEGER
	Minutes_in_hour: INTEGER
	month: INTEGER
	Months_in_year: INTEGER
	months_text: ARRAY [STRING]
	second: INTEGER
	Seconds_in_day: INTEGER
	Seconds_in_hour: INTEGER
	Seconds_in_minute: INTEGER
	time: TIME_MEASUREMENT
	time_default_format_string: STRING
	year: INTEGER

Constraints
	date exists
	time exists