Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output