printQuantifierName

open override fun printQuantifierName(): String