term

fun term(text: String, operators: OperatorSet = this.operators): Term

The term written in text, a goal or a value (its final dot left out), read with operators