Returns raw String representation of this quantifier.
The raw String representation of this quantifier.
Map of BoundVariable names and Nodes that will replace them in the String representation.