termRepresentation

fun termRepresentation(): Term

The term of the argument (see ArgumentTerm)