generalised the management semantics class and the valuation semantics class.