    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_8
    	Date_time_tools: DATE_TIME_TOOLS
    	day: INTEGER_32
    	days_in_i_th_month (i, y: INTEGER_32): INTEGER_32
    	Days_in_leap_year: INTEGER_32
    	Days_in_non_leap_year: INTEGER_32
    	Days_in_week: INTEGER_32
    	days_text: ARRAY [STRING_8]
    	default_format_string: STRING_8
    	fine_second: REAL_64
    	hour: INTEGER_32
    	Hours_in_day: INTEGER_32
    	is_leap_year (y: INTEGER_32): BOOLEAN
    	long_days_text: ARRAY [STRING_8]
    	long_months_text: ARRAY [STRING_8]
    	Max_weeks_in_year: INTEGER_32
    	minute: INTEGER_32
    	Minutes_in_hour: INTEGER_32
    	month: INTEGER_32
    	Months_in_year: INTEGER_32
    	months_text: ARRAY [STRING_8]
    	second: INTEGER_32
    	Seconds_in_day: INTEGER_32
    	Seconds_in_hour: INTEGER_32
    	Seconds_in_minute: INTEGER_32
    	time: TIME_MEASUREMENT
    	time_default_format_string: STRING_8
    	year: INTEGER_32

    Constraints
    	date exists
    	time exists