function date_1_e_date_2 extends icons.specifics.icon_f_of_date; input Integer d_of_m_1; input Integer m_of_y_1; input Integer y_1; input Integer d_of_m_2; input Integer m_of_y_2; input Integer y_2; output Boolean comp_result; end date_1_e_date_2;