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

concrete TestSemanticsIta of TestSemantics = TestIta, SemanticsIta ;