SYNTAX_document = {"rules": [["document", "s_991588300"], ["document", "s_991588204"], ["barename", "TOK_qname"], ["boolean", "@true"], ["boolean", "@false"], ["s_991346444", "@prefix", "TOK_prefix", "TOK_uriref"], ["s_991346508", "@keywords", "s_991585420"], ["s_991585740"], ["s_991585420", "s_991585740"], ["s_991585420", "s_991181100"], ["declaration", "s_991346444"], ["declaration", "s_991346508"], ["s_991588204"], ["s_991588300", "s_991181068", "document"], ["existential", "@forSome", "varlist"], ["s_991641420"], ["formulacontent", "s_991641420"], ["formulacontent", "s_991180844"], ["s_991715660", "s_991716076", "s_991716268"], ["s_991716076", "TOK_STRING_LITERAL2"], ["s_991716076", "TOK_STRING_LITERAL_LONG2"], ["s_991716268", "^^", "symbol"], ["literal", "s_991715660"], ["literal", "TOK_langstring"], ["numeral", "TOK_integer"], ["numeral", "TOK_double"], ["numeral", "TOK_decimal"], ["s_991734476"], ["s_991734572", "s_991181228", "objecttail"], ["objecttail", "s_991734476"], ["objecttail", "s_991734572"], ["s_991749484", "{", "formulacontent", "}"], ["s_991749388", "[", "propertylist", "]"], ["s_991749612", "(", "s_991181260", ")"], ["pathitem", "symbol"], ["pathitem", "TOK_evar"], ["pathitem", "TOK_uvar"], ["pathitem", "numeral"], ["pathitem", "literal"], ["pathitem", "s_991749484"], ["pathitem", "s_991749388"], ["pathitem", "s_991749612"], ["pathitem", "boolean"], ["s_991769292"], ["s_991769388", "!", "term"], ["s_991769516", "^", "term"], ["pathtail", "s_991769292"], ["pathtail", "s_991769388"], ["pathtail", "s_991769516"], ["property", "verb", "term", "objecttail"], ["s_991797900"], ["propertylist", "s_991797900"], ["propertylist", "s_991181004"], ["simpleStatement", "term", "propertylist"], ["statement", "declaration"], ["statement", "universal"], ["statement", "existential"], ["statement", "simpleStatement"], ["symbol", "TOK_uriref"], ["symbol", "TOK_qname"], ["term", "pathitem", "pathtail"], ["universal", "@forAll", "varlist"], ["s_991857644"], ["varlist", "s_991857644"], ["varlist", "s_991180812"], ["s_991872012", "@has", "term"], ["s_991871916", "@is", "term", "@of"], ["verb", "term"], ["verb", "s_991872012"], ["verb", "s_991871916"], ["verb", "@a"], ["verb", "="], ["verb", "=>"], ["verb", "<="], ["s_991181068", "statement", "."], ["s_991180844", "statement", "s_991180908"], ["s_991888428"], ["s_991888492", "s_991180940", "s_991180908"], ["s_991180908", "s_991888428"], ["s_991180908", "s_991888492"], ["s_991180940", ".", "statement"], ["s_991180812", "symbol", "s_991180684"], ["s_991891244"], ["s_991891308", "s_991180780", "s_991180684"], ["s_991180684", "s_991891244"], ["s_991180684", "s_991891308"], ["s_991180780", ",", "symbol"], ["s_991181100", "barename", "s_991180748"], ["s_991902252"], ["s_991902316", "s_991180972", "s_991180748"], ["s_991180748", "s_991902252"], ["s_991180748", "s_991902316"], ["s_991180972", ",", "barename"], ["s_991181004", "property", "s_991181164"], ["s_991917388"], ["s_991917452", "s_991181196", "s_991181164"], ["s_991181164", "s_991917388"], ["s_991181164", "s_991917452"], ["s_991181196", ";", "property"], ["s_991181228", ",", "term"], ["s_991932492"], ["s_991932556", "term", "s_991181260"], ["s_991181260", "s_991932492"], ["s_991181260", "s_991932556"]], "tokens": [["\\!", "!", null], ["\\(", "(", null], ["\\)", ")", null], ["\\,", ",", null], ["\\.", ".", null], ["\\;", ";", null], ["\\<\\=", "<=", null], ["\\=", "=", null], ["\\=\\>", "=>", null], ["\\@a", "@a", null], ["\\@false", "@false", null], ["\\@forAll", "@forAll", null], ["\\@forSome", "@forSome", null], ["\\@has", "@has", null], ["\\@is", "@is", null], ["\\@keywords", "@keywords", null], ["\\@of", "@of", null], ["\\@prefix", "@prefix", null], ["\\@true", "@true", null], ["\\[", "[", null], ["\\]", "]", null], ["\\^", "^", null], ["\\^\\^", "^^", null], ["\\{", "{", null], ["\\}", "}", null], ["(?:\\\"(?:(?:(?:[^\"\\\\\n\r])|(?:(?:[\\\\])(?:[tbnrf\\\\\"']))|(?:\\\\(?:(?:u(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f])))|(?:U(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))))))*)\\\")", "TOK_STRING_LITERAL2", null], ["(?:\\\"\\\"\\\"(?:(?:(?:(?:\\\"|\\\"\\\")?)(?:(?:[^\"\\\\])|(?:(?:[\\\\])(?:[tbnrf\\\\\"']))|(?:\\\\(?:(?:u(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f])))|(?:U(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f])))))))*)\\\"\\\"\\\")", "TOK_STRING_LITERAL_LONG2", null], ["(?:(?:(?:[+-])?)(?:(?:[0-9])+)(?:(?:\\.(?:(?:[0-9])+))?))", "TOK_decimal", null], ["(?:(?:(?:[+-])?)(?:(?:[0-9])+)(?:(?:\\.(?:(?:[0-9])+))?)(?:(?:[eE])(?:(?:[+-])?)(?:(?:[0-9])+)))", "TOK_double", null], ["(?:_\\:(?:(?:(?:(?:[A-Z])|(?:[a-z]))|_)(?:(?:(?:(?:[A-Z])|(?:[a-z]))|\\-|_|(?:[0-9]))*)))", "TOK_evar", null], ["(?:(?:(?:[+-])?)(?:(?:[0-9])+))", "TOK_integer", null], ["(?:(?:(?:\\\"(?:(?:(?:[^\"\\\\\n\r])|(?:(?:[\\\\])(?:[tbnrf\\\\\"']))|(?:\\\\(?:(?:u(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f])))|(?:U(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))))))*)\\\")|(?:\\\"\\\"\\\"(?:(?:(?:(?:\\\"|\\\"\\\")?)(?:(?:[^\"\\\\])|(?:(?:[\\\\])(?:[tbnrf\\\\\"']))|(?:\\\\(?:(?:u(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f])))|(?:U(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f]))(?:(?:[0-9])|(?:[A-F])|(?:[a-f])))))))*)\\\"\\\"\\\"))\\@(?:(?:[a-z])+)(?:(?:\\-(?:(?:[a-z0-9])+))*))", "TOK_langstring", null], ["(?:(?:(?:(?:_(?:(?:(?:(?:[A-Z])|(?:[a-z]))|\\-|_|(?:[0-9]))+))|(?:(?:(?:[A-Z])|(?:[a-z]))(?:(?:(?:(?:[A-Z])|(?:[a-z]))|\\-|_|(?:[0-9]))*)))?)\\:)", "TOK_prefix", null], ["(?:(?:(?:(?:(?:(?:_(?:(?:(?:(?:[A-Z])|(?:[a-z]))|\\-|_|(?:[0-9]))+))|(?:(?:(?:[A-Z])|(?:[a-z]))(?:(?:(?:(?:[A-Z])|(?:[a-z]))|\\-|_|(?:[0-9]))*)))?)\\:)?)(?:(?:(?:(?:[A-Z])|(?:[a-z]))|_)(?:(?:(?:(?:[A-Z])|(?:[a-z]))|\\-|_|(?:[0-9]))*)))", "TOK_qname", null], ["(?:\\<(?:(?!(?:[\u0001- ]))((?:[^<>'{}|^`]))*)\\>)", "TOK_uriref", null], ["(?:\\?(?:(?:(?:(?:[A-Z])|(?:[a-z]))|_)(?:(?:(?:(?:[A-Z])|(?:[a-z]))|\\-|_|(?:[0-9]))*)))", "TOK_uvar", null]]}