The Grail theorem prover: Type theory for syntax and semantics

by   Richard Moot, et al.

As the name suggests, type-logical grammars are a grammar formalism based on logic and type theory. From the prespective of grammar design, type-logical grammars develop the syntactic and semantic aspects of linguistic phenomena hand-in-hand, letting the desired semantics of an expression inform the syntactic type and vice versa. Prototypical examples of the successful application of type-logical grammars to the syntax-semantics interface include coordination, quantifier scope and extraction.This chapter describes the Grail theorem prover, a series of tools for designing and testing grammars in various modern type-logical grammars which functions as a tool . All tools described in this chapter are freely available.



page 1

page 2

page 3

page 4


Constructive Type-Logical Supertagging with Self-Attention Networks

We propose a novel application of self-attention networks towards gramma...

GF + MMT = GLF – From Language to Semantics through LF

These days, vast amounts of knowledge are available online, most of it i...

Extracting and Learning a Dependency-Enhanced Type Lexicon for Dutch

This thesis is concerned with type-logical grammars and their practical ...

ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch

We present ÆTHEL, a semantic compositionality dataset for written Dutch....

Plurality and Quantification in Graph Representation of Meaning

In this thesis we present a semantic representation formalism based on d...

Universal Dependencies to Logical Forms with Negation Scope

Many language technology applications would benefit from the ability to ...

Syntax and Semantics of Italian Poetry in the First Half of the 20th Century

In this paper we study, analyse and comment rhetorical figures present i...

Code Repositories


Light-weight chart parser for multimodal type-logical grammars

view repo
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.