not

open operator override fun not(): TermCondition(source)