--# -path=.:alltenses:prelude

concrete FraCaSBankSwe of FraCaSBank = FraCaSBankI with (FraCaS = FraCaSSwe);