pytableaux 1.6.1 documentation | source

Argument

Lexicon
Predicates
Symbol Name Arity
Identity 2
Existence 1