consThermERC :: RelationConcept
consThermERC = makeRC "consThermERC"
  (nounPhraseSP "Conservation of thermal energy") (lawConsEnergy ^. defn) consThermERel
consThermERC :: RelationConcept
consThermERC = makeRC "consThermERC"
  (nounPhraseSP "Conservation of thermal energy") (lawConsEnergy ^. defn) consThermERel
consThermERC = makeRC "consThermERC"
  (nounPhraseSP "Conservation of thermal energy") (lawConsEnergy ^. defn) consThermERel