A parser for the TGFF format