Problem Solving in Semantically Rich Domains: An Example from Engineering Thermodynamics* | Synapse