QuantifierApplication
Trees
QuantifierSymbol
Trees