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.