enumerationFormat
Generic
EOF
sbinary
EOF
equals
EOF
Summand