gf-3.3.3: examples/fracas/src/FraCaSBankEng.gf

--# -path=.:alltenses:prelude

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