- class nettlesome.terms.Term
Things that can be referenced in a Statement.
The name of a Term can replace the placeholder in a
- add(other, context=None)
Get a term that combines the meaning of self and other, if possible.
- explanations_consistent_with(other, context=None)
Get Term assignments resulting in no contradiction between self and other.
Get all generic Terms found in this Term, indexed by their string keys.