Module discourse

Classes

DiscourseTester
Check properties of an ongoing discourse.

Functions

list of Expression

parse_fol(s)
Temporarily duplicated from nltk.sem.util.

source code

discourse_demo(reading_command=None)
Illustrate the various methods of DiscourseTester source code

drt_discourse_demo(reading_command=None)
Illustrate the various methods of DiscourseTester source code

spacer(num=30)

source code

demo()

source code

Function Details

Temporarily duplicated from nltk.sem.util. Convert a file of First Order Formulas into a list of Expressions.

Parameters:

Returns: list of Expression

a list of parsed formulas.