toTerm

fun toTerm(): Term

The argument as the context keeps it, argument(Argument)