toTerm

open override fun toTerm(): Term

The clause the parser converts the item to (see RuleTerm)