theorem child_case_deserves_greater_punishment
theorem child_case_deserves_greater_punishment
(logic_is_actual : LogicIsActual)
(principle : A ChildMurderDeservesGreaterPunishmentThanNonChildMurder)
(cases : A TwoConcreteMurderCases)
: A (GreaterPunishmentThan
      ChildCasePunishmentSpec
      AdultCasePunishmentSpec)