Premise: Cumulative balances of available leave by type per employee are required to be maintained on record.

Hypothesis: The employees are required to remember their number of days of leave left as there is no official record.
Relation: contradiction