 logicalUnary ++ logicalBinary ++ logicalConstants ++ logicalQuantifiers
constants = "as
logicalSymbols = logicalUnary ++ logicalBinary ++ logicalConstants ++ logicalQuantifiers
logicalSymbols = logicalUnary ++ logicalBinary ++ logicalConstants ++ logicalQuantifiers