--# -path=.:alltenses:prelude

concrete FraCaSBankEng of FraCaSBank = FraCaSBankI with (FraCaS = FraCaSEng);