StatementTermModule

The term of a statement (module statementTerm, as statement is the statement labelling of that name): [Claim], the list of the term claimed, as the conclusions of the arguments and the statements labelled are written. Kotlin reads and builds it through StatementTerm.claim and StatementTerm.of.