1 2 3 4 5 6 7
--# -path=.:present concrete AttemptoSwe of Attempto = SymbolsC ** AttemptoI with (Syntax = SyntaxSwe), (Symbolic = SymbolicSwe), (LexAttempto = LexAttemptoSwe) ;