Statements

class nettlesome.statements.Statement(**data)

An assertion that can be accepted as factual and compared to other Statements.

Parameters

predicate – a natural-language clause with zero or more slots to insert terms that are typically the subject and objects of the clause.
terms – a series of Factor objects that fill in the blank spaces in the predicate statement.
name – an identifier for this object, often used if the object needs to be referred to multiple times in the process of composing other Factor objects.
absent – whether the absence, rather than the presence, of the legal fact described above is being asserted.
generic – whether this object could be replaced by another generic object of the same class without changing the truth of a :class:`~nettlesome.predicates.Predicate` in which it is mentioned.
truth – a new “truth” attribute for the “predicate”, if needed.

__str__(): Create one-line string representation for inclusion in other Facts.

new_context(changes)

Create new Factor, replacing keys of changes with values.

property short_string: str

Represent object without line breaks.

property slug: str

Get a representation of self without whitespace.

Intended for use as a sympy Symbol

property str_with_concrete_context: str

Identify this Statement more verbosely, specifying which text is a concrete context factor.

Return type: str
Returns: the same as the __str__ method, but with an added “SPECIFIC CONTEXT” section

term_permutations()

Generate permutations of context factors that preserve same meaning.

Return a TermSequence of the terms in this Statement.

property terms_without_nulls: Sequence[nettlesome.terms.Term]

Get Terms that are not None.

No Terms should be None for the Statement class, so this method is like an assertion for type checking.

property truth: Optional[bool]

Access truth attribute.