}
let SPC = [' ' '\t' '\n']+
-let ALPHA = ['A'-'Z' 'a'-'z']
+let ALPHA = ['A'-'Z' 'a'-'z' '_']
let NUM = ['0'-'9']
let IDEN = ALPHA (NUM | ALPHA)*
let QSTR = [^ '"' '\\']+
| "not" { out "NOT" ; NOT }
| "or" { out "OR" ; OR }
| "pattern" { out "PAT" ; PAT }
- | "ptoperty" { out "PROP" ; PROP }
+ | "property" { out "PROP" ; PROP }
| "ref" { out "REF" ; REF }
| "refof" { out "REFOF" ; REFOF }
| "relation" { out "REL" ; REL }