claim

fun claim(statement: Term): Term?

The term statement claims; null if it is not a statement