+#if defined (__STDC__) || defined (__cplusplus)
+ typedef signed char yysigned_char;
+#else
+ typedef short yysigned_char;
+#endif
+
+/* YYFINAL -- State number of the termination state. */
+#define YYFINAL 28
+/* YYLAST -- Last index in YYTABLE. */
+#define YYLAST 54
+
+/* YYNTOKENS -- Number of terminals. */
+#define YYNTOKENS 48
+/* YYNNTS -- Number of nonterminals. */
+#define YYNNTS 15
+/* YYNRULES -- Number of rules. */
+#define YYNRULES 39
+/* YYNRULES -- Number of states. */
+#define YYNSTATES 62
+
+/* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */
+#define YYUNDEFTOK 2
+#define YYMAXUTOK 302
+
+#define YYTRANSLATE(YYX) \
+ ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)
+
+/* YYTRANSLATE[YYLEX] -- Bison symbol number corresponding to YYLEX. */
+static const unsigned char yytranslate[] =
+{
+ 0, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
+ 2, 2, 2, 2, 2, 2, 1, 2, 3, 4,
+ 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
+ 15, 16, 17, 18, 19, 20, 21, 22, 23, 24,
+ 25, 26, 27, 28, 29, 30, 31, 32, 33, 34,
+ 35, 36, 37, 38, 39, 40, 41, 42, 43, 44,
+ 45, 46, 47
+};
+
+#if YYDEBUG
+/* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in
+ YYRHS. */
+static const unsigned char yyprhs[] =
+{
+ 0, 0, 3, 5, 7, 10, 14, 16, 18, 25,
+ 27, 30, 33, 37, 41, 46, 51, 57, 61, 66,
+ 71, 77, 80, 84, 88, 90, 92, 94, 95, 97,
+ 99, 103, 105, 107, 111, 112, 114, 116, 120, 122
+};
+
+/* YYRHS -- A `-1'-separated list of the rules' RHS. */
+static const yysigned_char yyrhs[] =
+{
+ 49, 0, -1, 50, -1, 51, -1, 50, 51, -1,
+ 52, 19, 58, -1, 62, -1, 53, -1, 10, 9,
+ 11, 9, 12, 9, -1, 54, -1, 9, 54, -1,
+ 54, 9, -1, 9, 54, 9, -1, 17, 55, 18,
+ -1, 9, 17, 55, 18, -1, 17, 55, 18, 9,
+ -1, 9, 17, 55, 18, 9, -1, 13, 55, 14,
+ -1, 9, 13, 55, 14, -1, 13, 55, 14, 9,
+ -1, 9, 13, 55, 14, 9, -1, 15, 3, -1,
+ 9, 15, 3, -1, 9, 8, 3, -1, 6, -1,
+ 4, -1, 5, -1, -1, 56, -1, 9, -1, 56,
+ 57, 9, -1, 20, -1, 16, -1, 59, 7, 61,
+ -1, -1, 60, -1, 61, -1, 60, 20, 61, -1,
+ 3, -1, 3, -1
+};
+
+/* YYRLINE[YYN] -- source line where rule number YYN was defined. */
+static const unsigned short yyrline[] =
+{
+ 0, 139, 139, 142, 147, 152, 159, 161, 166, 168,
+ 170, 172, 174, 176, 178, 180, 182, 185, 188, 191,
+ 194, 197, 200, 205, 210, 212, 214, 219, 220, 224,
+ 226, 230, 232, 236, 241, 242, 246, 248, 252, 259
+};
+#endif
+
+#if YYDEBUG || YYERROR_VERBOSE
+/* YYTNME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
+ First, the terminals, then, starting at YYNTOKENS, nonterminals. */
+static const char *const yytname[] =
+{
+ "$end", "error", "$undefined", "LST_SIMPLEID", "LST_LOGICALOP",
+ "LST_EQOP", "LST_SIMPLEOP", "LST_MAPSYM", "LST_FIELDMAPSYM",
+ "LST_MARKERSYM", "LST_ifTOKEN", "LST_thenTOKEN", "LST_elseTOKEN",
+ "LST_LBRACKET", "LST_RBRACKET", "LST_SELECTSYM", "LST_SEPSYM",
+ "LST_OPENSYM", "LST_CLOSESYM", "LST_COLON", "LST_COMMA", "LST_EOL",
+ "LST_COMMENTSYM", "LST_WHITESPACE", "LST_QUANTIFIERSYM",
+ "LST_EQUATIONSYM", "LST_EQSEPSYM", "LST_COMPOSESYM", "LST_LPAR",
+ "LST_RPAR", "LST_assertsTOKEN", "LST_assumesTOKEN", "LST_byTOKEN",
+ "LST_convertsTOKEN", "LST_enumerationTOKEN", "LST_equationsTOKEN",
+ "LST_exemptingTOKEN", "LST_forTOKEN", "LST_generatedTOKEN",
+ "LST_impliesTOKEN", "LST_includesTOKEN", "LST_introducesTOKEN",
+ "LST_ofTOKEN", "LST_partitionedTOKEN", "LST_traitTOKEN",
+ "LST_tupleTOKEN", "LST_unionTOKEN", "LST_BADTOKEN", "$accept", "top",
+ "operatorList", "operator", "name", "opForm", "anyOp", "middle",
+ "placeList", "separator", "signature", "domain", "sortList", "sortId",
+ "opId", 0
+};
+#endif
+
+# ifdef YYPRINT
+/* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to
+ token YYLEX-NUM. */
+static const unsigned short yytoknum[] =
+{
+ 0, 256, 257, 258, 259, 260, 261, 262, 263, 264,
+ 265, 266, 267, 268, 269, 270, 271, 272, 273, 274,
+ 275, 276, 277, 278, 279, 280, 281, 282, 283, 284,
+ 285, 286, 287, 288, 289, 290, 291, 292, 293, 294,
+ 295, 296, 297, 298, 299, 300, 301, 302
+};
+# endif
+
+/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
+static const unsigned char yyr1[] =
+{
+ 0, 48, 49, 50, 50, 51, 52, 52, 53, 53,
+ 53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
+ 53, 53, 53, 53, 54, 54, 54, 55, 55, 56,
+ 56, 57, 57, 58, 59, 59, 60, 60, 61, 62
+};
+
+/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
+static const unsigned char yyr2[] =
+{
+ 0, 2, 1, 1, 2, 3, 1, 1, 6, 1,
+ 2, 2, 3, 3, 4, 4, 5, 3, 4, 4,
+ 5, 2, 3, 3, 1, 1, 1, 0, 1, 1,
+ 3, 1, 1, 3, 0, 1, 1, 3, 1, 1
+};
+
+/* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state
+ STATE-NUM when YYTABLE doesn't specify something else to do. Zero
+ means the default is an error. */
+static const unsigned char yydefact[] =
+{
+ 0, 39, 25, 26, 24, 0, 0, 27, 0, 27,
+ 0, 2, 3, 0, 7, 9, 6, 0, 27, 0,
+ 27, 10, 0, 29, 0, 28, 21, 0, 1, 4,
+ 34, 11, 23, 0, 22, 0, 12, 0, 17, 32,
+ 31, 0, 13, 38, 5, 0, 35, 36, 18, 14,
+ 0, 19, 30, 15, 0, 0, 20, 16, 0, 33,
+ 37, 8
+};
+
+/* YYDEFGOTO[NTERM-NUM]. */
+static const yysigned_char yydefgoto[] =
+{
+ -1, 10, 11, 12, 13, 14, 15, 24, 25, 41,
+ 44, 45, 46, 47, 16
+};
+
+/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
+ STATE-NUM. */
+#define YYPACT_NINF -34
+static const yysigned_char yypact[] =
+{
+ -3, -34, -34, -34, -34, 11, -4, 2, 10, 2,
+ 23, -3, -34, 6, -34, 18, -34, 26, 2, 27,
+ 2, 22, 21, -34, 19, -12, -34, 16, -34, -34,
+ 32, -34, -34, 24, -34, 25, -34, 28, 30, -34,
+ -34, 31, 33, -34, -34, 29, 34, -34, 35, 36,
+ 37, -34, -34, -34, 32, 32, -34, -34, 38, -34,
+ -34, -34
+};
+
+/* YYPGOTO[NTERM-NUM]. */
+static const yysigned_char yypgoto[] =
+{
+ -34, -34, -34, 39, -34, -34, 41, 0, -34, -34,
+ -34, -34, -34, -33, -34
+};
+
+/* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If
+ positive, shift that token. If negative, reduce the rule which
+ number is the opposite. If zero, do what YYDEFACT says.
+ If YYTABLE_NINF, syntax error. */
+#define YYTABLE_NINF -1
+static const unsigned char yytable[] =
+{
+ 1, 2, 3, 4, 39, 22, 5, 6, 40, 27,
+ 7, 23, 8, 26, 9, 2, 3, 4, 33, 17,
+ 35, 59, 60, 28, 18, 30, 19, 31, 20, 32,
+ 34, 36, 37, 38, 42, 43, 54, 50, 48, 51,
+ 52, 0, 53, 49, 56, 57, 21, 61, 0, 58,
+ 29, 0, 0, 0, 55
+};
+
+static const yysigned_char yycheck[] =
+{
+ 3, 4, 5, 6, 16, 9, 9, 10, 20, 9,
+ 13, 9, 15, 3, 17, 4, 5, 6, 18, 8,
+ 20, 54, 55, 0, 13, 19, 15, 9, 17, 3,
+ 3, 9, 11, 14, 18, 3, 7, 9, 14, 9,
+ 9, -1, 9, 18, 9, 9, 5, 9, -1, 12,
+ 11, -1, -1, -1, 20
+};
+
+/* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
+ symbol of state STATE-NUM. */
+static const unsigned char yystos[] =
+{
+ 0, 3, 4, 5, 6, 9, 10, 13, 15, 17,
+ 49, 50, 51, 52, 53, 54, 62, 8, 13, 15,
+ 17, 54, 9, 9, 55, 56, 3, 55, 0, 51,
+ 19, 9, 3, 55, 3, 55, 9, 11, 14, 16,
+ 20, 57, 18, 3, 58, 59, 60, 61, 14, 18,
+ 9, 9, 9, 9, 7, 20, 9, 9, 12, 61,
+ 61, 9
+};