These page contains some graphs produced by Grail 3 and displayed using Tulip. Click on any of the images to download the corresponding eps file.
A very basic graph.

An intermediate result for parsing a sentence using Esther Kraak's grammar for French clitics.

The combinatory explosion when we have full associativity in our grammar.

An example statement using the SAT embedding of Mati Pentus' NP-completeness result.
