1 2 3 4 5
--# -path=.:present:multimodal:mathematical:prelude concrete TramSpa of Tram = TramI with (Multimodal = MultimodalSpa), (Symbol = SymbolSpa) ;