gf-3.2.9: gf-book/examples/chapter9/TestSemantics.gf

abstract TestSemantics = Test, Semantics ;