DESUPERHEATER

Definition A <DESUPERHEATER> is an <ARTEFACT> and a <COOLER> and a <FLUID CONTAINER> that has a capability of <DESUPERHEATING>