Clause

class Clause(points, sentences)

Bases: NamedTuple

Create new instance of Clause(points, sentences)

points: tuple[str, ...]: Alias for field number 0

sentences: tuple[tuple[str, ...], ...]: Alias for field number 1

classmethod parse_line(s)

Return type:: tuple[Clause, ...]

renamed(mp)

Return type:: Clause

translate_sentence(mapping, sentence)

Return type:: tuple[str, ...]