abstract TestSemantics = Test, Semantics ;