Download Demo Documentation Treebank Semantics Parsed Corpus (TSPC) More Tools

Welcome to

Treebank Semantics —
Meaning Representations from Treebanks

What is Treebank Semantics?

Treebank Semantics is an implemented system that automatically derives meaning representations of quality from treebank annotations. The central component is a system of calculation for a small formal language with respect to a structured information state. Inputs to the system are expressions of the formal language obtained from the conversion of parsed treebank data. Outputs are predicate logic based meaning representations. There is documentation that describes the approach and implementation in detail.

The system is distributed freely.

To see ready made examples, web based interfaces are provided to the following parsed corpora:

These parsed corpora provide a testing ground for the system, with meaning representations built automatically by the system from treebank files.

There is also an online demo that you are welcome to try.


Development is funded by the Japan Science and Technology Agency (JST) and the Japan Society for the Promotion of Science (JSPS).


Feedback is extremely welcome. Please email: ajb129 __AT__ hotmail __DOT__ com.

Getting started

The core program is implemented in Prolog and requires a working ECLiPSe Constraint Programming System. Another requirement is to have stanford-tregex.jar.

After download, run the do_it command located in the ./bin folder.

do_it takes parse tree input from stdin and sends its calculations to stdout. do_it has the following flags:

--native)skip parse_modify (initial normalisation)
--discourse|-d)treat input as single discourse
--debug)debug <normalised_expr> creation
--basic|-s)return <normalised_expr> (that is, input for run_tsxml or run_tsterm)
--norm|-1)print <normalised_expr>
--sct|-2)print <sct_expr> (this is the default output mode)
--raw|-3)print <target_expr> with structures
--target|-4)print final <target_expr>
--conjec*)return TPTP conjecture
--axiom|--tptp|-t)return TPTP axiom(s)
--red*)reduced form
--flo*)return FLOTTER output
--drs)return boxer style DRS
--clause|-c)return DRS clause format
--cdebug|-cdebug)debug DRS clause format
--craw|-craw)see XML used to create (boxer|clause) DRS representations
--xml|-x)return raw XML
*)show this message concerning available options

Last updated: April 19, 2019