engineering-argument-language 3.2.3__py3-none-any.whl

eal/generated/EALLexer.py

@@ -0,0 +1,434 @@
+# Generated from grammar/EAL.g4 by ANTLR 4.13.2
+from antlr4 import *
+from io import StringIO
+import sys
+if sys.version_info[1] > 5:
+    from typing import TextIO
+else:
+    from typing.io import TextIO
+
+
+def serializedATN():
+    return [
+        4,0,89,766,6,-1,2,0,7,0,2,1,7,1,2,2,7,2,2,3,7,3,2,4,7,4,2,5,7,5,
+        2,6,7,6,2,7,7,7,2,8,7,8,2,9,7,9,2,10,7,10,2,11,7,11,2,12,7,12,2,
+        13,7,13,2,14,7,14,2,15,7,15,2,16,7,16,2,17,7,17,2,18,7,18,2,19,7,
+        19,2,20,7,20,2,21,7,21,2,22,7,22,2,23,7,23,2,24,7,24,2,25,7,25,2,
+        26,7,26,2,27,7,27,2,28,7,28,2,29,7,29,2,30,7,30,2,31,7,31,2,32,7,
+        32,2,33,7,33,2,34,7,34,2,35,7,35,2,36,7,36,2,37,7,37,2,38,7,38,2,
+        39,7,39,2,40,7,40,2,41,7,41,2,42,7,42,2,43,7,43,2,44,7,44,2,45,7,
+        45,2,46,7,46,2,47,7,47,2,48,7,48,2,49,7,49,2,50,7,50,2,51,7,51,2,
+        52,7,52,2,53,7,53,2,54,7,54,2,55,7,55,2,56,7,56,2,57,7,57,2,58,7,
+        58,2,59,7,59,2,60,7,60,2,61,7,61,2,62,7,62,2,63,7,63,2,64,7,64,2,
+        65,7,65,2,66,7,66,2,67,7,67,2,68,7,68,2,69,7,69,2,70,7,70,2,71,7,
+        71,2,72,7,72,2,73,7,73,2,74,7,74,2,75,7,75,2,76,7,76,2,77,7,77,2,
+        78,7,78,2,79,7,79,2,80,7,80,2,81,7,81,2,82,7,82,2,83,7,83,2,84,7,
+        84,2,85,7,85,2,86,7,86,2,87,7,87,2,88,7,88,2,89,7,89,2,90,7,90,1,
+        0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
+        2,1,2,1,3,1,3,1,4,1,4,1,4,1,4,1,4,1,4,1,4,1,5,1,5,1,5,1,6,1,6,1,
+        6,1,6,1,6,1,6,1,6,1,6,1,7,1,7,1,8,1,8,1,8,1,8,1,8,1,8,1,8,1,8,1,
+        8,1,8,1,8,1,8,1,9,1,9,1,9,1,9,1,9,1,10,1,10,1,10,1,10,1,10,1,10,
+        1,10,1,10,1,11,1,11,1,11,1,11,1,11,1,12,1,12,1,12,1,12,1,12,1,12,
+        1,13,1,13,1,13,1,13,1,13,1,13,1,13,1,13,1,14,1,14,1,14,1,14,1,14,
+        1,14,1,14,1,14,1,14,1,15,1,15,1,15,1,15,1,15,1,15,1,15,1,16,1,16,
+        1,16,1,16,1,16,1,16,1,16,1,16,1,17,1,17,1,17,1,17,1,17,1,17,1,17,
+        1,17,1,17,1,18,1,18,1,18,1,18,1,18,1,19,1,19,1,19,1,19,1,19,1,19,
+        1,20,1,20,1,20,1,20,1,20,1,20,1,20,1,20,1,20,1,20,1,20,1,21,1,21,
+        1,21,1,21,1,21,1,21,1,21,1,21,1,21,1,21,1,21,1,21,1,22,1,22,1,22,
+        1,22,1,22,1,22,1,23,1,23,1,23,1,23,1,23,1,23,1,23,1,23,1,23,1,24,
+        1,24,1,24,1,24,1,24,1,24,1,24,1,24,1,24,1,24,1,24,1,25,1,25,1,25,
+        1,25,1,25,1,25,1,25,1,25,1,25,1,25,1,26,1,26,1,26,1,26,1,26,1,26,
+        1,26,1,26,1,26,1,26,1,27,1,27,1,27,1,27,1,27,1,27,1,27,1,27,1,27,
+        1,27,1,28,1,28,1,28,1,28,1,28,1,28,1,28,1,28,1,29,1,29,1,29,1,29,
+        1,29,1,29,1,29,1,29,1,29,1,30,1,30,1,30,1,30,1,30,1,31,1,31,1,31,
+        1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,32,1,33,1,33,1,33,1,33,
+        1,33,1,33,1,33,1,33,1,33,1,34,1,34,1,34,1,34,1,34,1,34,1,35,1,35,
+        1,35,1,35,1,35,1,35,1,35,1,35,1,35,1,35,1,35,1,35,1,36,1,36,1,36,
+        1,36,1,36,1,36,1,36,1,37,1,37,1,37,1,37,1,37,1,37,1,37,1,37,1,37,
+        1,38,1,38,1,39,1,39,1,39,1,39,1,40,1,40,1,40,1,41,1,41,1,41,1,41,
+        1,41,1,41,1,41,1,41,1,42,1,42,1,43,1,43,1,44,1,44,1,44,1,44,1,44,
+        1,44,1,44,1,44,1,44,1,44,1,44,1,44,1,45,1,45,1,45,1,45,1,45,1,45,
+        1,45,1,45,1,45,1,46,1,46,1,46,1,46,1,46,1,46,1,46,1,46,1,47,1,47,
+        1,48,1,48,1,49,1,49,1,49,1,49,1,49,1,49,1,49,1,49,1,49,1,49,1,50,
+        1,50,1,51,1,51,1,51,1,51,1,51,1,51,1,52,1,52,1,52,1,52,1,52,1,53,
+        1,53,1,53,1,53,1,53,1,54,1,54,1,54,1,54,1,54,1,54,1,54,1,54,1,54,
+        1,54,1,55,1,55,1,55,1,55,1,56,1,56,1,56,1,56,1,56,1,56,1,56,1,57,
+        1,57,1,57,1,57,1,57,1,58,1,58,1,58,1,58,1,58,1,58,1,58,1,58,1,58,
+        1,59,1,59,1,59,1,59,1,59,1,59,1,59,1,60,1,60,1,60,1,60,1,60,1,61,
+        1,61,1,61,1,61,1,61,1,62,1,62,1,62,1,62,1,62,1,63,1,63,1,64,1,64,
+        1,64,1,64,1,64,1,64,1,64,1,64,1,65,1,65,1,65,1,66,1,66,1,66,1,66,
+        1,67,1,67,1,68,1,68,1,69,1,69,1,70,1,70,1,71,1,71,1,72,1,72,1,72,
+        1,72,1,73,1,73,1,73,1,74,1,74,1,74,1,75,1,75,1,75,1,76,1,76,1,76,
+        1,77,1,77,1,78,1,78,1,79,1,79,1,79,1,79,1,79,1,80,1,80,1,80,1,80,
+        1,80,1,80,1,81,1,81,1,81,1,81,1,81,1,82,1,82,5,82,672,8,82,10,82,
+        12,82,675,9,82,1,83,1,83,1,83,5,83,680,8,83,10,83,12,83,683,9,83,
+        3,83,685,8,83,1,83,1,83,4,83,689,8,83,11,83,12,83,690,3,83,693,8,
+        83,1,83,1,83,3,83,697,8,83,1,83,4,83,700,8,83,11,83,12,83,701,3,
+        83,704,8,83,1,84,1,84,1,84,5,84,709,8,84,10,84,12,84,712,9,84,1,
+        84,1,84,1,85,1,85,1,85,1,85,1,85,1,85,1,85,1,85,3,85,724,8,85,1,
+        86,1,86,1,87,1,87,1,87,1,87,5,87,732,8,87,10,87,12,87,735,9,87,1,
+        87,1,87,1,88,1,88,1,88,1,88,5,88,743,8,88,10,88,12,88,746,9,88,1,
+        88,1,88,1,88,1,88,1,88,1,89,3,89,754,8,89,1,89,1,89,3,89,758,8,89,
+        1,90,4,90,761,8,90,11,90,12,90,762,1,90,1,90,1,744,0,91,1,1,3,2,
+        5,3,7,4,9,5,11,6,13,7,15,8,17,9,19,10,21,11,23,12,25,13,27,14,29,
+        15,31,16,33,17,35,18,37,19,39,20,41,21,43,22,45,23,47,24,49,25,51,
+        26,53,27,55,28,57,29,59,30,61,31,63,32,65,33,67,34,69,35,71,36,73,
+        37,75,38,77,39,79,40,81,41,83,42,85,43,87,44,89,45,91,46,93,47,95,
+        48,97,49,99,50,101,51,103,52,105,53,107,54,109,55,111,56,113,57,
+        115,58,117,59,119,60,121,61,123,62,125,63,127,64,129,65,131,66,133,
+        67,135,68,137,69,139,70,141,71,143,72,145,73,147,74,149,75,151,76,
+        153,77,155,78,157,79,159,80,161,81,163,82,165,83,167,84,169,85,171,
+        0,173,0,175,86,177,87,179,88,181,89,1,0,11,3,0,65,90,95,95,97,122,
+        4,0,48,57,65,90,95,95,97,122,1,0,49,57,1,0,48,57,2,0,69,69,101,101,
+        2,0,43,43,45,45,4,0,10,10,13,13,34,34,92,92,8,0,34,34,47,47,92,92,
+        98,98,102,102,110,110,114,114,116,116,3,0,48,57,65,70,97,102,2,0,
+        10,10,13,13,2,0,9,9,32,32,779,0,1,1,0,0,0,0,3,1,0,0,0,0,5,1,0,0,
+        0,0,7,1,0,0,0,0,9,1,0,0,0,0,11,1,0,0,0,0,13,1,0,0,0,0,15,1,0,0,0,
+        0,17,1,0,0,0,0,19,1,0,0,0,0,21,1,0,0,0,0,23,1,0,0,0,0,25,1,0,0,0,
+        0,27,1,0,0,0,0,29,1,0,0,0,0,31,1,0,0,0,0,33,1,0,0,0,0,35,1,0,0,0,
+        0,37,1,0,0,0,0,39,1,0,0,0,0,41,1,0,0,0,0,43,1,0,0,0,0,45,1,0,0,0,
+        0,47,1,0,0,0,0,49,1,0,0,0,0,51,1,0,0,0,0,53,1,0,0,0,0,55,1,0,0,0,
+        0,57,1,0,0,0,0,59,1,0,0,0,0,61,1,0,0,0,0,63,1,0,0,0,0,65,1,0,0,0,
+        0,67,1,0,0,0,0,69,1,0,0,0,0,71,1,0,0,0,0,73,1,0,0,0,0,75,1,0,0,0,
+        0,77,1,0,0,0,0,79,1,0,0,0,0,81,1,0,0,0,0,83,1,0,0,0,0,85,1,0,0,0,
+        0,87,1,0,0,0,0,89,1,0,0,0,0,91,1,0,0,0,0,93,1,0,0,0,0,95,1,0,0,0,
+        0,97,1,0,0,0,0,99,1,0,0,0,0,101,1,0,0,0,0,103,1,0,0,0,0,105,1,0,
+        0,0,0,107,1,0,0,0,0,109,1,0,0,0,0,111,1,0,0,0,0,113,1,0,0,0,0,115,
+        1,0,0,0,0,117,1,0,0,0,0,119,1,0,0,0,0,121,1,0,0,0,0,123,1,0,0,0,
+        0,125,1,0,0,0,0,127,1,0,0,0,0,129,1,0,0,0,0,131,1,0,0,0,0,133,1,
+        0,0,0,0,135,1,0,0,0,0,137,1,0,0,0,0,139,1,0,0,0,0,141,1,0,0,0,0,
+        143,1,0,0,0,0,145,1,0,0,0,0,147,1,0,0,0,0,149,1,0,0,0,0,151,1,0,
+        0,0,0,153,1,0,0,0,0,155,1,0,0,0,0,157,1,0,0,0,0,159,1,0,0,0,0,161,
+        1,0,0,0,0,163,1,0,0,0,0,165,1,0,0,0,0,167,1,0,0,0,0,169,1,0,0,0,
+        0,175,1,0,0,0,0,177,1,0,0,0,0,179,1,0,0,0,0,181,1,0,0,0,1,183,1,
+        0,0,0,3,192,1,0,0,0,5,199,1,0,0,0,7,201,1,0,0,0,9,203,1,0,0,0,11,
+        210,1,0,0,0,13,213,1,0,0,0,15,221,1,0,0,0,17,223,1,0,0,0,19,235,
+        1,0,0,0,21,240,1,0,0,0,23,248,1,0,0,0,25,253,1,0,0,0,27,259,1,0,
+        0,0,29,267,1,0,0,0,31,276,1,0,0,0,33,283,1,0,0,0,35,291,1,0,0,0,
+        37,300,1,0,0,0,39,305,1,0,0,0,41,311,1,0,0,0,43,322,1,0,0,0,45,334,
+        1,0,0,0,47,340,1,0,0,0,49,349,1,0,0,0,51,360,1,0,0,0,53,370,1,0,
+        0,0,55,380,1,0,0,0,57,390,1,0,0,0,59,398,1,0,0,0,61,407,1,0,0,0,
+        63,412,1,0,0,0,65,415,1,0,0,0,67,424,1,0,0,0,69,433,1,0,0,0,71,439,
+        1,0,0,0,73,451,1,0,0,0,75,458,1,0,0,0,77,467,1,0,0,0,79,469,1,0,
+        0,0,81,473,1,0,0,0,83,476,1,0,0,0,85,484,1,0,0,0,87,486,1,0,0,0,
+        89,488,1,0,0,0,91,500,1,0,0,0,93,509,1,0,0,0,95,517,1,0,0,0,97,519,
+        1,0,0,0,99,521,1,0,0,0,101,531,1,0,0,0,103,533,1,0,0,0,105,539,1,
+        0,0,0,107,544,1,0,0,0,109,549,1,0,0,0,111,559,1,0,0,0,113,563,1,
+        0,0,0,115,570,1,0,0,0,117,575,1,0,0,0,119,584,1,0,0,0,121,591,1,
+        0,0,0,123,596,1,0,0,0,125,601,1,0,0,0,127,606,1,0,0,0,129,608,1,
+        0,0,0,131,616,1,0,0,0,133,619,1,0,0,0,135,623,1,0,0,0,137,625,1,
+        0,0,0,139,627,1,0,0,0,141,629,1,0,0,0,143,631,1,0,0,0,145,633,1,
+        0,0,0,147,637,1,0,0,0,149,640,1,0,0,0,151,643,1,0,0,0,153,646,1,
+        0,0,0,155,649,1,0,0,0,157,651,1,0,0,0,159,653,1,0,0,0,161,658,1,
+        0,0,0,163,664,1,0,0,0,165,669,1,0,0,0,167,684,1,0,0,0,169,705,1,
+        0,0,0,171,715,1,0,0,0,173,725,1,0,0,0,175,727,1,0,0,0,177,738,1,
+        0,0,0,179,757,1,0,0,0,181,760,1,0,0,0,183,184,5,108,0,0,184,185,
+        5,97,0,0,185,186,5,110,0,0,186,187,5,103,0,0,187,188,5,117,0,0,188,
+        189,5,97,0,0,189,190,5,103,0,0,190,191,5,101,0,0,191,2,1,0,0,0,192,
+        193,5,109,0,0,193,194,5,111,0,0,194,195,5,100,0,0,195,196,5,117,
+        0,0,196,197,5,108,0,0,197,198,5,101,0,0,198,4,1,0,0,0,199,200,5,
+        123,0,0,200,6,1,0,0,0,201,202,5,125,0,0,202,8,1,0,0,0,203,204,5,
+        105,0,0,204,205,5,109,0,0,205,206,5,112,0,0,206,207,5,111,0,0,207,
+        208,5,114,0,0,208,209,5,116,0,0,209,10,1,0,0,0,210,211,5,97,0,0,
+        211,212,5,115,0,0,212,12,1,0,0,0,213,214,5,99,0,0,214,215,5,111,
+        0,0,215,216,5,110,0,0,216,217,5,116,0,0,217,218,5,101,0,0,218,219,
+        5,120,0,0,219,220,5,116,0,0,220,14,1,0,0,0,221,222,5,44,0,0,222,
+        16,1,0,0,0,223,224,5,101,0,0,224,225,5,110,0,0,225,226,5,118,0,0,
+        226,227,5,105,0,0,227,228,5,114,0,0,228,229,5,111,0,0,229,230,5,
+        110,0,0,230,231,5,109,0,0,231,232,5,101,0,0,232,233,5,110,0,0,233,
+        234,5,116,0,0,234,18,1,0,0,0,235,236,5,116,0,0,236,237,5,111,0,0,
+        237,238,5,111,0,0,238,239,5,108,0,0,239,20,1,0,0,0,240,241,5,109,
+        0,0,241,242,5,97,0,0,242,243,5,120,0,0,243,244,5,95,0,0,244,245,
+        5,97,0,0,245,246,5,103,0,0,246,247,5,101,0,0,247,22,1,0,0,0,248,
+        249,5,107,0,0,249,250,5,105,0,0,250,251,5,110,0,0,251,252,5,100,
+        0,0,252,24,1,0,0,0,253,254,5,105,0,0,254,255,5,110,0,0,255,256,5,
+        112,0,0,256,257,5,117,0,0,257,258,5,116,0,0,258,26,1,0,0,0,259,260,
+        5,118,0,0,260,261,5,101,0,0,261,262,5,114,0,0,262,263,5,115,0,0,
+        263,264,5,105,0,0,264,265,5,111,0,0,265,266,5,110,0,0,266,28,1,0,
+        0,0,267,268,5,118,0,0,268,269,5,97,0,0,269,270,5,108,0,0,270,271,
+        5,105,0,0,271,272,5,100,0,0,272,273,5,97,0,0,273,274,5,116,0,0,274,
+        275,5,101,0,0,275,30,1,0,0,0,276,277,5,109,0,0,277,278,5,101,0,0,
+        278,279,5,116,0,0,279,280,5,104,0,0,280,281,5,111,0,0,281,282,5,
+        100,0,0,282,32,1,0,0,0,283,284,5,115,0,0,284,285,5,117,0,0,285,286,
+        5,98,0,0,286,287,5,106,0,0,287,288,5,101,0,0,288,289,5,99,0,0,289,
+        290,5,116,0,0,290,34,1,0,0,0,291,292,5,113,0,0,292,293,5,117,0,0,
+        293,294,5,97,0,0,294,295,5,110,0,0,295,296,5,116,0,0,296,297,5,105,
+        0,0,297,298,5,116,0,0,298,299,5,121,0,0,299,36,1,0,0,0,300,301,5,
+        117,0,0,301,302,5,110,0,0,302,303,5,105,0,0,303,304,5,116,0,0,304,
+        38,1,0,0,0,305,306,5,115,0,0,306,307,5,99,0,0,307,308,5,111,0,0,
+        308,309,5,112,0,0,309,310,5,101,0,0,310,40,1,0,0,0,311,312,5,118,
+        0,0,312,313,5,97,0,0,313,314,5,108,0,0,314,315,5,105,0,0,315,316,
+        5,100,0,0,316,317,5,95,0,0,317,318,5,102,0,0,318,319,5,114,0,0,319,
+        320,5,111,0,0,320,321,5,109,0,0,321,42,1,0,0,0,322,323,5,118,0,0,
+        323,324,5,97,0,0,324,325,5,108,0,0,325,326,5,105,0,0,326,327,5,100,
+        0,0,327,328,5,95,0,0,328,329,5,117,0,0,329,330,5,110,0,0,330,331,
+        5,116,0,0,331,332,5,105,0,0,332,333,5,108,0,0,333,44,1,0,0,0,334,
+        335,5,113,0,0,335,336,5,117,0,0,336,337,5,101,0,0,337,338,5,114,
+        0,0,338,339,5,121,0,0,339,46,1,0,0,0,340,341,5,101,0,0,341,342,5,
+        118,0,0,342,343,5,105,0,0,343,344,5,100,0,0,344,345,5,101,0,0,345,
+        346,5,110,0,0,346,347,5,99,0,0,347,348,5,101,0,0,348,48,1,0,0,0,
+        349,350,5,97,0,0,350,351,5,115,0,0,351,352,5,115,0,0,352,353,5,117,
+        0,0,353,354,5,109,0,0,354,355,5,112,0,0,355,356,5,116,0,0,356,357,
+        5,105,0,0,357,358,5,111,0,0,358,359,5,110,0,0,359,50,1,0,0,0,360,
+        361,5,115,0,0,361,362,5,116,0,0,362,363,5,97,0,0,363,364,5,116,0,
+        0,364,365,5,101,0,0,365,366,5,109,0,0,366,367,5,101,0,0,367,368,
+        5,110,0,0,368,369,5,116,0,0,369,52,1,0,0,0,370,371,5,114,0,0,371,
+        372,5,101,0,0,372,373,5,97,0,0,373,374,5,115,0,0,374,375,5,111,0,
+        0,375,376,5,110,0,0,376,377,5,105,0,0,377,378,5,110,0,0,378,379,
+        5,103,0,0,379,54,1,0,0,0,380,381,5,114,0,0,381,382,5,97,0,0,382,
+        383,5,116,0,0,383,384,5,105,0,0,384,385,5,111,0,0,385,386,5,110,
+        0,0,386,387,5,97,0,0,387,388,5,108,0,0,388,389,5,101,0,0,389,56,
+        1,0,0,0,390,391,5,98,0,0,391,392,5,97,0,0,392,393,5,99,0,0,393,394,
+        5,107,0,0,394,395,5,105,0,0,395,396,5,110,0,0,396,397,5,103,0,0,
+        397,58,1,0,0,0,398,399,5,116,0,0,399,400,5,114,0,0,400,401,5,97,
+        0,0,401,402,5,110,0,0,402,403,5,115,0,0,403,404,5,102,0,0,404,405,
+        5,101,0,0,405,406,5,114,0,0,406,60,1,0,0,0,407,408,5,102,0,0,408,
+        409,5,114,0,0,409,410,5,111,0,0,410,411,5,109,0,0,411,62,1,0,0,0,
+        412,413,5,116,0,0,413,414,5,111,0,0,414,64,1,0,0,0,415,416,5,97,
+        0,0,416,417,5,115,0,0,417,418,5,115,0,0,418,419,5,117,0,0,419,420,
+        5,109,0,0,420,421,5,105,0,0,421,422,5,110,0,0,422,423,5,103,0,0,
+        423,66,1,0,0,0,424,425,5,114,0,0,425,426,5,101,0,0,426,427,5,118,
+        0,0,427,428,5,105,0,0,428,429,5,101,0,0,429,430,5,119,0,0,430,431,
+        5,101,0,0,431,432,5,100,0,0,432,68,1,0,0,0,433,434,5,99,0,0,434,
+        435,5,108,0,0,435,436,5,97,0,0,436,437,5,105,0,0,437,438,5,109,0,
+        0,438,70,1,0,0,0,439,440,5,112,0,0,440,441,5,114,0,0,441,442,5,111,
+        0,0,442,443,5,112,0,0,443,444,5,111,0,0,444,445,5,115,0,0,445,446,
+        5,105,0,0,446,447,5,116,0,0,447,448,5,105,0,0,448,449,5,111,0,0,
+        449,450,5,110,0,0,450,72,1,0,0,0,451,452,5,114,0,0,452,453,5,101,
+        0,0,453,454,5,115,0,0,454,455,5,117,0,0,455,456,5,108,0,0,456,457,
+        5,116,0,0,457,74,1,0,0,0,458,459,5,97,0,0,459,460,5,114,0,0,460,
+        461,5,103,0,0,461,462,5,117,0,0,462,463,5,109,0,0,463,464,5,101,
+        0,0,464,465,5,110,0,0,465,466,5,116,0,0,466,76,1,0,0,0,467,468,5,
+        61,0,0,468,78,1,0,0,0,469,470,5,118,0,0,470,471,5,105,0,0,471,472,
+        5,97,0,0,472,80,1,0,0,0,473,474,5,61,0,0,474,475,5,62,0,0,475,82,
+        1,0,0,0,476,477,5,98,0,0,477,478,5,105,0,0,478,479,5,110,0,0,479,
+        480,5,100,0,0,480,481,5,105,0,0,481,482,5,110,0,0,482,483,5,103,
+        0,0,483,84,1,0,0,0,484,485,5,91,0,0,485,86,1,0,0,0,486,487,5,93,
+        0,0,487,88,1,0,0,0,488,489,5,97,0,0,489,490,5,115,0,0,490,491,5,
+        115,0,0,491,492,5,117,0,0,492,493,5,109,0,0,493,494,5,112,0,0,494,
+        495,5,116,0,0,495,496,5,105,0,0,496,497,5,111,0,0,497,498,5,110,
+        0,0,498,499,5,115,0,0,499,90,1,0,0,0,500,501,5,112,0,0,501,502,5,
+        114,0,0,502,503,5,101,0,0,503,504,5,109,0,0,504,505,5,105,0,0,505,
+        506,5,115,0,0,506,507,5,101,0,0,507,508,5,115,0,0,508,92,1,0,0,0,
+        509,510,5,112,0,0,510,511,5,97,0,0,511,512,5,116,0,0,512,513,5,116,
+        0,0,513,514,5,101,0,0,514,515,5,114,0,0,515,516,5,110,0,0,516,94,
+        1,0,0,0,517,518,5,40,0,0,518,96,1,0,0,0,519,520,5,41,0,0,520,98,
+        1,0,0,0,521,522,5,100,0,0,522,523,5,101,0,0,523,524,5,99,0,0,524,
+        525,5,114,0,0,525,526,5,101,0,0,526,527,5,97,0,0,527,528,5,115,0,
+        0,528,529,5,101,0,0,529,530,5,115,0,0,530,100,1,0,0,0,531,532,5,
+        58,0,0,532,102,1,0,0,0,533,534,5,97,0,0,534,535,5,112,0,0,535,536,
+        5,112,0,0,536,537,5,108,0,0,537,538,5,121,0,0,538,104,1,0,0,0,539,
+        540,5,119,0,0,540,541,5,104,0,0,541,542,5,101,0,0,542,543,5,110,
+        0,0,543,106,1,0,0,0,544,545,5,101,0,0,545,546,5,108,0,0,546,547,
+        5,115,0,0,547,548,5,101,0,0,548,108,1,0,0,0,549,550,5,111,0,0,550,
+        551,5,98,0,0,551,552,5,106,0,0,552,553,5,101,0,0,553,554,5,99,0,
+        0,554,555,5,116,0,0,555,556,5,105,0,0,556,557,5,111,0,0,557,558,
+        5,110,0,0,558,110,1,0,0,0,559,560,5,45,0,0,560,561,5,120,0,0,561,
+        562,5,62,0,0,562,112,1,0,0,0,563,564,5,115,0,0,564,565,5,116,0,0,
+        565,566,5,114,0,0,566,567,5,105,0,0,567,568,5,99,0,0,568,569,5,116,
+        0,0,569,114,1,0,0,0,570,571,5,114,0,0,571,572,5,97,0,0,572,573,5,
+        110,0,0,573,574,5,107,0,0,574,116,1,0,0,0,575,576,5,99,0,0,576,577,
+        5,111,0,0,577,578,5,110,0,0,578,579,5,116,0,0,579,580,5,114,0,0,
+        580,581,5,97,0,0,581,582,5,114,0,0,582,583,5,121,0,0,583,118,1,0,
+        0,0,584,585,5,112,0,0,585,586,5,114,0,0,586,587,5,101,0,0,587,588,
+        5,102,0,0,588,589,5,101,0,0,589,590,5,114,0,0,590,120,1,0,0,0,591,
+        592,5,111,0,0,592,593,5,118,0,0,593,594,5,101,0,0,594,595,5,114,
+        0,0,595,122,1,0,0,0,596,597,5,104,0,0,597,598,5,101,0,0,598,599,
+        5,97,0,0,599,600,5,100,0,0,600,124,1,0,0,0,601,602,5,116,0,0,602,
+        603,5,97,0,0,603,604,5,105,0,0,604,605,5,108,0,0,605,126,1,0,0,0,
+        606,607,5,46,0,0,607,128,1,0,0,0,608,609,5,114,0,0,609,610,5,101,
+        0,0,610,611,5,113,0,0,611,612,5,117,0,0,612,613,5,105,0,0,613,614,
+        5,114,0,0,614,615,5,101,0,0,615,130,1,0,0,0,616,617,5,111,0,0,617,
+        618,5,114,0,0,618,132,1,0,0,0,619,620,5,97,0,0,620,621,5,110,0,0,
+        621,622,5,100,0,0,622,134,1,0,0,0,623,624,5,43,0,0,624,136,1,0,0,
+        0,625,626,5,45,0,0,626,138,1,0,0,0,627,628,5,42,0,0,628,140,1,0,
+        0,0,629,630,5,47,0,0,630,142,1,0,0,0,631,632,5,37,0,0,632,144,1,
+        0,0,0,633,634,5,110,0,0,634,635,5,111,0,0,635,636,5,116,0,0,636,
+        146,1,0,0,0,637,638,5,61,0,0,638,639,5,61,0,0,639,148,1,0,0,0,640,
+        641,5,33,0,0,641,642,5,61,0,0,642,150,1,0,0,0,643,644,5,60,0,0,644,
+        645,5,61,0,0,645,152,1,0,0,0,646,647,5,62,0,0,647,648,5,61,0,0,648,
+        154,1,0,0,0,649,650,5,60,0,0,650,156,1,0,0,0,651,652,5,62,0,0,652,
+        158,1,0,0,0,653,654,5,116,0,0,654,655,5,114,0,0,655,656,5,117,0,
+        0,656,657,5,101,0,0,657,160,1,0,0,0,658,659,5,102,0,0,659,660,5,
+        97,0,0,660,661,5,108,0,0,661,662,5,115,0,0,662,663,5,101,0,0,663,
+        162,1,0,0,0,664,665,5,110,0,0,665,666,5,117,0,0,666,667,5,108,0,
+        0,667,668,5,108,0,0,668,164,1,0,0,0,669,673,7,0,0,0,670,672,7,1,
+        0,0,671,670,1,0,0,0,672,675,1,0,0,0,673,671,1,0,0,0,673,674,1,0,
+        0,0,674,166,1,0,0,0,675,673,1,0,0,0,676,685,5,48,0,0,677,681,7,2,
+        0,0,678,680,7,3,0,0,679,678,1,0,0,0,680,683,1,0,0,0,681,679,1,0,
+        0,0,681,682,1,0,0,0,682,685,1,0,0,0,683,681,1,0,0,0,684,676,1,0,
+        0,0,684,677,1,0,0,0,685,692,1,0,0,0,686,688,5,46,0,0,687,689,7,3,
+        0,0,688,687,1,0,0,0,689,690,1,0,0,0,690,688,1,0,0,0,690,691,1,0,
+        0,0,691,693,1,0,0,0,692,686,1,0,0,0,692,693,1,0,0,0,693,703,1,0,
+        0,0,694,696,7,4,0,0,695,697,7,5,0,0,696,695,1,0,0,0,696,697,1,0,
+        0,0,697,699,1,0,0,0,698,700,7,3,0,0,699,698,1,0,0,0,700,701,1,0,
+        0,0,701,699,1,0,0,0,701,702,1,0,0,0,702,704,1,0,0,0,703,694,1,0,
+        0,0,703,704,1,0,0,0,704,168,1,0,0,0,705,710,5,34,0,0,706,709,3,171,
+        85,0,707,709,8,6,0,0,708,706,1,0,0,0,708,707,1,0,0,0,709,712,1,0,
+        0,0,710,708,1,0,0,0,710,711,1,0,0,0,711,713,1,0,0,0,712,710,1,0,
+        0,0,713,714,5,34,0,0,714,170,1,0,0,0,715,723,5,92,0,0,716,724,7,
+        7,0,0,717,718,5,117,0,0,718,719,3,173,86,0,719,720,3,173,86,0,720,
+        721,3,173,86,0,721,722,3,173,86,0,722,724,1,0,0,0,723,716,1,0,0,
+        0,723,717,1,0,0,0,724,172,1,0,0,0,725,726,7,8,0,0,726,174,1,0,0,
+        0,727,728,5,47,0,0,728,729,5,47,0,0,729,733,1,0,0,0,730,732,8,9,
+        0,0,731,730,1,0,0,0,732,735,1,0,0,0,733,731,1,0,0,0,733,734,1,0,
+        0,0,734,736,1,0,0,0,735,733,1,0,0,0,736,737,6,87,0,0,737,176,1,0,
+        0,0,738,739,5,47,0,0,739,740,5,42,0,0,740,744,1,0,0,0,741,743,9,
+        0,0,0,742,741,1,0,0,0,743,746,1,0,0,0,744,745,1,0,0,0,744,742,1,
+        0,0,0,745,747,1,0,0,0,746,744,1,0,0,0,747,748,5,42,0,0,748,749,5,
+        47,0,0,749,750,1,0,0,0,750,751,6,88,0,0,751,178,1,0,0,0,752,754,
+        5,13,0,0,753,752,1,0,0,0,753,754,1,0,0,0,754,755,1,0,0,0,755,758,
+        5,10,0,0,756,758,5,13,0,0,757,753,1,0,0,0,757,756,1,0,0,0,758,180,
+        1,0,0,0,759,761,7,10,0,0,760,759,1,0,0,0,761,762,1,0,0,0,762,760,
+        1,0,0,0,762,763,1,0,0,0,763,764,1,0,0,0,764,765,6,90,1,0,765,182,
+        1,0,0,0,17,0,673,681,684,690,692,696,701,703,708,710,723,733,744,
+        753,757,762,2,0,1,0,6,0,0
+    ]
+
+class EALLexer(Lexer):
+
+    atn = ATNDeserializer().deserialize(serializedATN())
+
+    decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]
+
+    T__0 = 1
+    T__1 = 2
+    T__2 = 3
+    T__3 = 4
+    T__4 = 5
+    T__5 = 6
+    T__6 = 7
+    T__7 = 8
+    T__8 = 9
+    T__9 = 10
+    T__10 = 11
+    T__11 = 12
+    T__12 = 13
+    T__13 = 14
+    T__14 = 15
+    T__15 = 16
+    T__16 = 17
+    T__17 = 18
+    T__18 = 19
+    T__19 = 20
+    T__20 = 21
+    T__21 = 22
+    T__22 = 23
+    T__23 = 24
+    T__24 = 25
+    T__25 = 26
+    T__26 = 27
+    T__27 = 28
+    T__28 = 29
+    T__29 = 30
+    T__30 = 31
+    T__31 = 32
+    T__32 = 33
+    T__33 = 34
+    T__34 = 35
+    T__35 = 36
+    T__36 = 37
+    T__37 = 38
+    T__38 = 39
+    T__39 = 40
+    T__40 = 41
+    T__41 = 42
+    T__42 = 43
+    T__43 = 44
+    T__44 = 45
+    T__45 = 46
+    T__46 = 47
+    T__47 = 48
+    T__48 = 49
+    T__49 = 50
+    T__50 = 51
+    T__51 = 52
+    T__52 = 53
+    T__53 = 54
+    T__54 = 55
+    T__55 = 56
+    T__56 = 57
+    T__57 = 58
+    T__58 = 59
+    T__59 = 60
+    T__60 = 61
+    T__61 = 62
+    T__62 = 63
+    T__63 = 64
+    T__64 = 65
+    T__65 = 66
+    T__66 = 67
+    T__67 = 68
+    T__68 = 69
+    T__69 = 70
+    T__70 = 71
+    T__71 = 72
+    T__72 = 73
+    T__73 = 74
+    T__74 = 75
+    T__75 = 76
+    T__76 = 77
+    T__77 = 78
+    T__78 = 79
+    T__79 = 80
+    T__80 = 81
+    T__81 = 82
+    ID = 83
+    NUMBER = 84
+    STRING = 85
+    LINE_COMMENT = 86
+    BLOCK_COMMENT = 87
+    NL = 88
+    WS = 89
+
+    channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]
+
+    modeNames = [ "DEFAULT_MODE" ]
+
+    literalNames = [ "<INVALID>",
+            "'language'", "'module'", "'{'", "'}'", "'import'", "'as'", 
+            "'context'", "','", "'environment'", "'tool'", "'max_age'", 
+            "'kind'", "'input'", "'version'", "'validate'", "'method'", 
+            "'subject'", "'quantity'", "'unit'", "'scope'", "'valid_from'", 
+            "'valid_until'", "'query'", "'evidence'", "'assumption'", "'statement'", 
+            "'reasoning'", "'rationale'", "'backing'", "'transfer'", "'from'", 
+            "'to'", "'assuming'", "'reviewed'", "'claim'", "'proposition'", 
+            "'result'", "'argument'", "'='", "'via'", "'=>'", "'binding'", 
+            "'['", "']'", "'assumptions'", "'premises'", "'pattern'", "'('", 
+            "')'", "'decreases'", "':'", "'apply'", "'when'", "'else'", 
+            "'objection'", "'-x>'", "'strict'", "'rank'", "'contrary'", 
+            "'prefer'", "'over'", "'head'", "'tail'", "'.'", "'require'", 
+            "'or'", "'and'", "'+'", "'-'", "'*'", "'/'", "'%'", "'not'", 
+            "'=='", "'!='", "'<='", "'>='", "'<'", "'>'", "'true'", "'false'", 
+            "'null'" ]
+
+    symbolicNames = [ "<INVALID>",
+            "ID", "NUMBER", "STRING", "LINE_COMMENT", "BLOCK_COMMENT", "NL", 
+            "WS" ]
+
+    ruleNames = [ "T__0", "T__1", "T__2", "T__3", "T__4", "T__5", "T__6", 
+                  "T__7", "T__8", "T__9", "T__10", "T__11", "T__12", "T__13", 
+                  "T__14", "T__15", "T__16", "T__17", "T__18", "T__19", 
+                  "T__20", "T__21", "T__22", "T__23", "T__24", "T__25", 
+                  "T__26", "T__27", "T__28", "T__29", "T__30", "T__31", 
+                  "T__32", "T__33", "T__34", "T__35", "T__36", "T__37", 
+                  "T__38", "T__39", "T__40", "T__41", "T__42", "T__43", 
+                  "T__44", "T__45", "T__46", "T__47", "T__48", "T__49", 
+                  "T__50", "T__51", "T__52", "T__53", "T__54", "T__55", 
+                  "T__56", "T__57", "T__58", "T__59", "T__60", "T__61", 
+                  "T__62", "T__63", "T__64", "T__65", "T__66", "T__67", 
+                  "T__68", "T__69", "T__70", "T__71", "T__72", "T__73", 
+                  "T__74", "T__75", "T__76", "T__77", "T__78", "T__79", 
+                  "T__80", "T__81", "ID", "NUMBER", "STRING", "ESC", "HEX", 
+                  "LINE_COMMENT", "BLOCK_COMMENT", "NL", "WS" ]
+
+    grammarFileName = "EAL.g4"
+
+    def __init__(self, input=None, output:TextIO = sys.stdout):
+        super().__init__(input, output)
+        self.checkVersion("4.13.2")
+        self._interp = LexerATNSimulator(self, self.atn, self.decisionsToDFA, PredictionContextCache())
+        self._actions = None
+        self._predicates = None
+
+