The reporting system rested on the definition of a case.
The system was based on the meaning of federal taxes.
mnli hypothesis: The system was based on the meaning of federal taxes. premise: The reporting system rested on the definition of a case.