twelf/examples/tabled/parsing
