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

concrete TestSemanticsIta of TestSemantics = TestIta, SemanticsIta ;