A Derivation of Enriched Semantics by Solving Equations