The term of the module StatementTermModule as Kotlin reads and builds it (see StatementTermModule)
The term statement claims; null if it is not a statement
The statement of claim