1 2 3 4 5
--# -path=.:present:prelude concrete SwadeshFin of Swadesh = CatFin ** SwadeshI with (Lang = LangFin) ;