Files
gf-core/examples/fracas/src/FraCaSBankEng.gf