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