Source file ttl_parser.ml

module MenhirBasics = struct
  
  exception Error
  
  let _eRR =
    fun _s ->
      raise Error
  
  type token = 
    | String_ of (
# 45 "lib/ttl_parser.mly"
       (string)
# 15 "lib/ttl_parser.ml"
  )
    | SEMICOLON
    | RIGHT_PAR
    | RIGHT_BRACKET
    | Qname_ of (
# 43 "lib/ttl_parser.mly"
       (string option * string option)
# 23 "lib/ttl_parser.ml"
  )
    | PREFIX
    | LEFT_PAR
    | LEFT_BRACKET
    | Iriref_ of (
# 40 "lib/ttl_parser.mly"
       (string)
# 31 "lib/ttl_parser.ml"
  )
    | Integer of (
# 46 "lib/ttl_parser.mly"
       (string)
# 36 "lib/ttl_parser.ml"
  )
    | Identifier of (
# 41 "lib/ttl_parser.mly"
       (string)
# 41 "lib/ttl_parser.ml"
  )
    | HATHAT
    | EOF
    | Double of (
# 48 "lib/ttl_parser.mly"
       (string)
# 48 "lib/ttl_parser.ml"
  )
    | Decimal of (
# 47 "lib/ttl_parser.mly"
       (string)
# 53 "lib/ttl_parser.ml"
  )
    | DOT
    | COMMA
    | Boolean of (
# 49 "lib/ttl_parser.mly"
       (string)
# 60 "lib/ttl_parser.ml"
  )
    | Bname of (
# 44 "lib/ttl_parser.mly"
       (string)
# 65 "lib/ttl_parser.ml"
  )
    | BASE
    | At_identifier of (
# 42 "lib/ttl_parser.mly"
       (string)
# 71 "lib/ttl_parser.ml"
  )
    | AT_PREFIX
    | AT_BASE
    | ANON
    | A
  
end

include MenhirBasics

# 27 "lib/ttl_parser.mly"
  
open Ttl_types


# 87 "lib/ttl_parser.ml"

type ('s, 'r) _menhir_state = 
  | MenhirState00 : ('s, _menhir_box_main) _menhir_state
    (** State 00.
        Stack shape : .
        Start symbol: main. *)

  | MenhirState03 : (('s, _menhir_box_main) _menhir_cell1_PREFIX _menhir_cell0_Identifier, _menhir_box_main) _menhir_state
    (** State 03.
        Stack shape : PREFIX Identifier.
        Start symbol: main. *)

  | MenhirState06 : (('s, _menhir_box_main) _menhir_cell1_LEFT_PAR, _menhir_box_main) _menhir_state
    (** State 06.
        Stack shape : LEFT_PAR.
        Start symbol: main. *)

  | MenhirState08 : (('s, 'r) _menhir_cell1_String_, 'r) _menhir_state
    (** State 08.
        Stack shape : String_.
        Start symbol: <undetermined>. *)

  | MenhirState16 : (('s, _menhir_box_main) _menhir_cell1_LEFT_BRACKET, _menhir_box_main) _menhir_state
    (** State 16.
        Stack shape : LEFT_BRACKET.
        Start symbol: main. *)

  | MenhirState18 : (('s, _menhir_box_main) _menhir_cell1_verb, _menhir_box_main) _menhir_state
    (** State 18.
        Stack shape : verb.
        Start symbol: main. *)

  | MenhirState27 : (('s, _menhir_box_main) _menhir_cell1_object_, _menhir_box_main) _menhir_state
    (** State 27.
        Stack shape : object_.
        Start symbol: main. *)

  | MenhirState36 : (('s, _menhir_box_main) _menhir_cell1_predobj, _menhir_box_main) _menhir_state
    (** State 36.
        Stack shape : predobj.
        Start symbol: main. *)

  | MenhirState37 : (('s, _menhir_box_main) _menhir_cell1_SEMICOLON, _menhir_box_main) _menhir_state
    (** State 37.
        Stack shape : SEMICOLON.
        Start symbol: main. *)

  | MenhirState40 : ((('s, _menhir_box_main) _menhir_cell1_predobj, _menhir_box_main) _menhir_cell1_nonempty_list_SEMICOLON_, _menhir_box_main) _menhir_state
    (** State 40.
        Stack shape : predobj nonempty_list(SEMICOLON).
        Start symbol: main. *)

  | MenhirState44 : (('s, _menhir_box_main) _menhir_cell1_object_, _menhir_box_main) _menhir_state
    (** State 44.
        Stack shape : object_.
        Start symbol: main. *)

  | MenhirState48 : (('s, _menhir_box_main) _menhir_cell1_BASE, _menhir_box_main) _menhir_state
    (** State 48.
        Stack shape : BASE.
        Start symbol: main. *)

  | MenhirState51 : (('s, _menhir_box_main) _menhir_cell1_AT_PREFIX _menhir_cell0_Identifier, _menhir_box_main) _menhir_state
    (** State 51.
        Stack shape : AT_PREFIX Identifier.
        Start symbol: main. *)

  | MenhirState54 : (('s, _menhir_box_main) _menhir_cell1_AT_BASE, _menhir_box_main) _menhir_state
    (** State 54.
        Stack shape : AT_BASE.
        Start symbol: main. *)

  | MenhirState59 : (('s, _menhir_box_main) _menhir_cell1_subject, _menhir_box_main) _menhir_state
    (** State 59.
        Stack shape : subject.
        Start symbol: main. *)

  | MenhirState61 : (('s, _menhir_box_main) _menhir_cell1_statement, _menhir_box_main) _menhir_state
    (** State 61.
        Stack shape : statement.
        Start symbol: main. *)

  | MenhirState67 : (('s, _menhir_box_main) _menhir_cell1_blanknodepropertylist, _menhir_box_main) _menhir_state
    (** State 67.
        Stack shape : blanknodepropertylist.
        Start symbol: main. *)

  | MenhirState75 : ('s, _menhir_box_nq) _menhir_state
    (** State 75.
        Stack shape : .
        Start symbol: nq. *)

  | MenhirState77 : (('s, _menhir_box_nq) _menhir_cell1_nq_triple, _menhir_box_nq) _menhir_state
    (** State 77.
        Stack shape : nq_triple.
        Start symbol: nq. *)

  | MenhirState83 : (('s, _menhir_box_nq) _menhir_cell1_nq_sub, _menhir_box_nq) _menhir_state
    (** State 83.
        Stack shape : nq_sub.
        Start symbol: nq. *)

  | MenhirState84 : ((('s, _menhir_box_nq) _menhir_cell1_nq_sub, _menhir_box_nq) _menhir_cell1_iriref, _menhir_box_nq) _menhir_state
    (** State 84.
        Stack shape : nq_sub iriref.
        Start symbol: nq. *)

  | MenhirState89 : (('s, _menhir_box_nq) _menhir_cell1_nq_quad, _menhir_box_nq) _menhir_state
    (** State 89.
        Stack shape : nq_quad.
        Start symbol: nq. *)


and ('s, 'r) _menhir_cell1_blanknodepropertylist = 
  | MenhirCell1_blanknodepropertylist of 's * ('s, 'r) _menhir_state * (Ttl_types.blank)

and ('s, 'r) _menhir_cell1_iriref = 
  | MenhirCell1_iriref of 's * ('s, 'r) _menhir_state * (string)

and ('s, 'r) _menhir_cell1_nonempty_list_SEMICOLON_ = 
  | MenhirCell1_nonempty_list_SEMICOLON_ of 's * ('s, 'r) _menhir_state * (unit list)

and ('s, 'r) _menhir_cell1_nq_quad = 
  | MenhirCell1_nq_quad of 's * ('s, 'r) _menhir_state * (Term.term * Iri.t * Term.term * Ds.name option)

and ('s, 'r) _menhir_cell1_nq_sub = 
  | MenhirCell1_nq_sub of 's * ('s, 'r) _menhir_state * (Term.term)

and ('s, 'r) _menhir_cell1_nq_triple = 
  | MenhirCell1_nq_triple of 's * ('s, 'r) _menhir_state * (Term.term * Iri.t * Term.term)

and ('s, 'r) _menhir_cell1_object_ = 
  | MenhirCell1_object_ of 's * ('s, 'r) _menhir_state * (Ttl_types.object_)

and ('s, 'r) _menhir_cell1_predobj = 
  | MenhirCell1_predobj of 's * ('s, 'r) _menhir_state * (Ttl_types.predobj)

and ('s, 'r) _menhir_cell1_statement = 
  | MenhirCell1_statement of 's * ('s, 'r) _menhir_state * (Ttl_types.statement)

and ('s, 'r) _menhir_cell1_subject = 
  | MenhirCell1_subject of 's * ('s, 'r) _menhir_state * (Ttl_types.subject)

and ('s, 'r) _menhir_cell1_verb = 
  | MenhirCell1_verb of 's * ('s, 'r) _menhir_state * (Ttl_types.pred)

and ('s, 'r) _menhir_cell1_AT_BASE = 
  | MenhirCell1_AT_BASE of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_AT_PREFIX = 
  | MenhirCell1_AT_PREFIX of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_BASE = 
  | MenhirCell1_BASE of 's * ('s, 'r) _menhir_state

and 's _menhir_cell0_Identifier = 
  | MenhirCell0_Identifier of 's * (
# 41 "lib/ttl_parser.mly"
       (string)
# 247 "lib/ttl_parser.ml"
)

and ('s, 'r) _menhir_cell1_LEFT_BRACKET = 
  | MenhirCell1_LEFT_BRACKET of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_LEFT_PAR = 
  | MenhirCell1_LEFT_PAR of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_PREFIX = 
  | MenhirCell1_PREFIX of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_SEMICOLON = 
  | MenhirCell1_SEMICOLON of 's * ('s, 'r) _menhir_state

and ('s, 'r) _menhir_cell1_String_ = 
  | MenhirCell1_String_ of 's * ('s, 'r) _menhir_state * (
# 45 "lib/ttl_parser.mly"
       (string)
# 266 "lib/ttl_parser.ml"
)

and _menhir_box_nq = 
  | MenhirBox_nq of ((Term.term * Iri.t * Term.term * Ds.name option) list) [@@unboxed]

and _menhir_box_main = 
  | MenhirBox_main of (Ttl_types.turtle) [@@unboxed]

let _menhir_action_02 =
  fun _1 ->
    (
# 150 "lib/ttl_parser.mly"
                             ( _1 )
# 280 "lib/ttl_parser.ml"
     : (string))

let _menhir_action_03 =
  fun iri ->
    (
# 77 "lib/ttl_parser.mly"
    ( Base iri )
# 288 "lib/ttl_parser.ml"
     : (Ttl_types.directive))

let _menhir_action_04 =
  fun iri ->
    (
# 79 "lib/ttl_parser.mly"
    ( Base iri )
# 296 "lib/ttl_parser.ml"
     : (Ttl_types.directive))

let _menhir_action_05 =
  fun _1 ->
    (
# 108 "lib/ttl_parser.mly"
        ( NodeId _1 )
# 304 "lib/ttl_parser.ml"
     : (Ttl_types.blank))

let _menhir_action_06 =
  fun () ->
    (
# 109 "lib/ttl_parser.mly"
       ( Empty )
# 312 "lib/ttl_parser.ml"
     : (Ttl_types.blank))

let _menhir_action_07 =
  fun _2 ->
    (
# 147 "lib/ttl_parser.mly"
                                      ( PredObjs _2 )
# 320 "lib/ttl_parser.ml"
     : (Ttl_types.blank))

let _menhir_action_08 =
  fun _2 ->
    (
# 112 "lib/ttl_parser.mly"
                                             ( _2 )
# 328 "lib/ttl_parser.ml"
     : (Ttl_types.object_ list))

let _menhir_action_09 =
  fun _2 ->
    (
# 153 "lib/ttl_parser.mly"
                     ( _2 )
# 336 "lib/ttl_parser.ml"
     : (Ttl_types.iri))

let _menhir_action_10 =
  fun _1 ->
    (
# 64 "lib/ttl_parser.mly"
           ( _1 )
# 344 "lib/ttl_parser.ml"
     : (Ttl_types.directive))

let _menhir_action_11 =
  fun _1 ->
    (
# 65 "lib/ttl_parser.mly"
       ( _1 )
# 352 "lib/ttl_parser.ml"
     : (Ttl_types.directive))

let _menhir_action_12 =
  fun _1 ->
    (
# 95 "lib/ttl_parser.mly"
         ( Iriref _1 )
# 360 "lib/ttl_parser.ml"
     : (Ttl_types.iri))

let _menhir_action_13 =
  fun _1 ->
    (
# 96 "lib/ttl_parser.mly"
               ( _1 )
# 368 "lib/ttl_parser.ml"
     : (Ttl_types.iri))

let _menhir_action_14 =
  fun iri ->
    (
# 156 "lib/ttl_parser.mly"
                    ( iri )
# 376 "lib/ttl_parser.ml"
     : (string))

let _menhir_action_15 =
  fun () ->
    (
# 216 "<standard.mly>"
    ( [] )
# 384 "lib/ttl_parser.ml"
     : (unit list))

let _menhir_action_16 =
  fun x xs ->
    (
# 219 "<standard.mly>"
    ( x :: xs )
# 392 "lib/ttl_parser.ml"
     : (unit list))

let _menhir_action_17 =
  fun () ->
    (
# 216 "<standard.mly>"
    ( [] )
# 400 "lib/ttl_parser.ml"
     : ((Term.term * Iri.t * Term.term * Ds.name option) list))

let _menhir_action_18 =
  fun x xs ->
    (
# 219 "<standard.mly>"
    ( x :: xs )
# 408 "lib/ttl_parser.ml"
     : ((Term.term * Iri.t * Term.term * Ds.name option) list))

let _menhir_action_19 =
  fun () ->
    (
# 216 "<standard.mly>"
    ( [] )
# 416 "lib/ttl_parser.ml"
     : (Ttl_types.object_ list))

let _menhir_action_20 =
  fun x xs ->
    (
# 219 "<standard.mly>"
    ( x :: xs )
# 424 "lib/ttl_parser.ml"
     : (Ttl_types.object_ list))

let _menhir_action_21 =
  fun () ->
    (
# 216 "<standard.mly>"
    ( [] )
# 432 "lib/ttl_parser.ml"
     : (Ttl_types.turtle))

let _menhir_action_22 =
  fun x xs ->
    (
# 219 "<standard.mly>"
    ( x :: xs )
# 440 "lib/ttl_parser.ml"
     : (Ttl_types.turtle))

let _menhir_action_23 =
  fun _1 ->
    (
# 137 "lib/ttl_parser.mly"
          ( String (_1, None, None) )
# 448 "lib/ttl_parser.ml"
     : (Ttl_types.literal))

let _menhir_action_24 =
  fun _1 lang ->
    (
# 138 "lib/ttl_parser.mly"
                             ( String (_1, Some lang, None) )
# 456 "lib/ttl_parser.ml"
     : (Ttl_types.literal))

let _menhir_action_25 =
  fun _1 dt ->
    (
# 139 "lib/ttl_parser.mly"
                      ( String (_1, None, Some dt) )
# 464 "lib/ttl_parser.ml"
     : (Ttl_types.literal))

let _menhir_action_26 =
  fun _1 ->
    (
# 140 "lib/ttl_parser.mly"
          ( String (_1, None, Some (Iriref (Iri.to_string Rdf_.xsd_integer))) )
# 472 "lib/ttl_parser.ml"
     : (Ttl_types.literal))

let _menhir_action_27 =
  fun _1 ->
    (
# 141 "lib/ttl_parser.mly"
          ( String (_1, None, Some (Iriref (Iri.to_string Rdf_.xsd_decimal))) )
# 480 "lib/ttl_parser.ml"
     : (Ttl_types.literal))

let _menhir_action_28 =
  fun _1 ->
    (
# 142 "lib/ttl_parser.mly"
         ( String (_1, None, Some (Iriref (Iri.to_string Rdf_.xsd_double))) )
# 488 "lib/ttl_parser.ml"
     : (Ttl_types.literal))

let _menhir_action_29 =
  fun _1 ->
    (
# 143 "lib/ttl_parser.mly"
          ( String (_1, None, Some (Iriref (Iri.to_string Rdf_.xsd_boolean))) )
# 496 "lib/ttl_parser.ml"
     : (Ttl_types.literal))

let _menhir_action_30 =
  fun _1 ->
    (
# 56 "lib/ttl_parser.mly"
                                   ( _1 )
# 504 "lib/ttl_parser.ml"
     : (Ttl_types.turtle))

let _menhir_action_31 =
  fun x ->
    (
# 228 "<standard.mly>"
    ( [ x ] )
# 512 "lib/ttl_parser.ml"
     : (unit list))

let _menhir_action_32 =
  fun x xs ->
    (
# 231 "<standard.mly>"
    ( x :: xs )
# 520 "lib/ttl_parser.ml"
     : (unit list))

let _menhir_action_33 =
  fun _1 ->
    (
# 159 "lib/ttl_parser.mly"
                              ( _1 )
# 528 "lib/ttl_parser.ml"
     : ((Term.term * Iri.t * Term.term * Ds.name option) list))

let _menhir_action_34 =
  fun i ->
    (
# 196 "lib/ttl_parser.mly"
           ( `I (Iri.of_string i) )
# 536 "lib/ttl_parser.ml"
     : (Ds.name))

let _menhir_action_35 =
  fun id ->
    (
# 197 "lib/ttl_parser.mly"
           ( `B (Term.blank_id_of_string id) )
# 544 "lib/ttl_parser.ml"
     : (Ds.name))

let _menhir_action_36 =
  fun t ->
    (
# 177 "lib/ttl_parser.mly"
           ( t )
# 552 "lib/ttl_parser.ml"
     : (Term.term))

let _menhir_action_37 =
  fun l ->
    (
# 178 "lib/ttl_parser.mly"
            (
  let String (v,lang,typ) = l in
  let typ =
    match typ with
    | Some (Iriref i) -> Some (Iri.of_string i)
    | Some (Qname (p,s)) ->
       let s = Printf.sprintf "%s:%s"
         (Option.value ~default:"" p)
         (Option.value ~default:"" s)
       in
       Some (Iri.of_string s)
    | None when lang = None -> Some Rdf_.xsd_string
    | None -> Some Rdf_.dt_langString
  in
  Term.(Literal (mk_literal ?typ ?lang v)) )
# 574 "lib/ttl_parser.ml"
     : (Term.term))

let _menhir_action_38 =
  fun name t ->
    (
# 162 "lib/ttl_parser.mly"
                                        (
   let (sub,pred,obj) = t in
   (sub, pred, obj, name)
  )
# 585 "lib/ttl_parser.ml"
     : (Term.term * Iri.t * Term.term * Ds.name option))

let _menhir_action_39 =
  fun i ->
    (
# 172 "lib/ttl_parser.mly"
           ( Term.Iri (Iri.of_string i) )
# 593 "lib/ttl_parser.ml"
     : (Term.term))

let _menhir_action_40 =
  fun id ->
    (
# 173 "lib/ttl_parser.mly"
           ( Term.(Blank_ (blank_id_of_string id)) )
# 601 "lib/ttl_parser.ml"
     : (Term.term))

let _menhir_action_41 =
  fun obj pred sub ->
    (
# 168 "lib/ttl_parser.mly"
                                    ( (sub, Iri.of_string pred, obj) )
# 609 "lib/ttl_parser.ml"
     : (Term.term * Iri.t * Term.term))

let _menhir_action_42 =
  fun _1 ->
    (
# 124 "lib/ttl_parser.mly"
      ( Obj_iri _1 )
# 617 "lib/ttl_parser.ml"
     : (Ttl_types.object_))

let _menhir_action_43 =
  fun _1 ->
    (
# 125 "lib/ttl_parser.mly"
            ( Obj_blank _1 )
# 625 "lib/ttl_parser.ml"
     : (Ttl_types.object_))

let _menhir_action_44 =
  fun _1 ->
    (
# 126 "lib/ttl_parser.mly"
             ( Obj_blank (Collection _1) )
# 633 "lib/ttl_parser.ml"
     : (Ttl_types.object_))

let _menhir_action_45 =
  fun _1 ->
    (
# 127 "lib/ttl_parser.mly"
                        ( Obj_blank _1 )
# 641 "lib/ttl_parser.ml"
     : (Ttl_types.object_))

let _menhir_action_46 =
  fun _1 ->
    (
# 128 "lib/ttl_parser.mly"
          ( Obj_literal _1 )
# 649 "lib/ttl_parser.ml"
     : (Ttl_types.object_))

let _menhir_action_47 =
  fun () ->
    (
# 111 "<standard.mly>"
    ( None )
# 657 "lib/ttl_parser.ml"
     : (Ds.name option))

let _menhir_action_48 =
  fun x ->
    (
# 114 "<standard.mly>"
    ( Some x )
# 665 "lib/ttl_parser.ml"
     : (Ds.name option))

let _menhir_action_49 =
  fun () ->
    (
# 111 "<standard.mly>"
    ( None )
# 673 "lib/ttl_parser.ml"
     : (Ttl_types.predobj list option))

let _menhir_action_50 =
  fun x ->
    (
# 114 "<standard.mly>"
    ( Some x )
# 681 "lib/ttl_parser.ml"
     : (Ttl_types.predobj list option))

let _menhir_action_51 =
  fun _1 _2 ->
    (
# 120 "lib/ttl_parser.mly"
                                                      ( (_1, _2) )
# 689 "lib/ttl_parser.ml"
     : (Ttl_types.predobj))

let _menhir_action_52 =
  fun _1 _3 ->
    (
# 116 "lib/ttl_parser.mly"
                                            ( _1 :: _3 )
# 697 "lib/ttl_parser.ml"
     : (Ttl_types.predobj list))

let _menhir_action_53 =
  fun _1 ->
    (
# 117 "lib/ttl_parser.mly"
                          ( [ _1 ] )
# 705 "lib/ttl_parser.ml"
     : (Ttl_types.predobj list))

let _menhir_action_54 =
  fun iri n ->
    (
# 70 "lib/ttl_parser.mly"
    ( Prefix (n, iri) )
# 713 "lib/ttl_parser.ml"
     : (Ttl_types.directive))

let _menhir_action_55 =
  fun iri n ->
    (
# 72 "lib/ttl_parser.mly"
    ( Prefix (n, iri) )
# 721 "lib/ttl_parser.ml"
     : (Ttl_types.directive))

let _menhir_action_56 =
  fun _1 ->
    (
# 100 "lib/ttl_parser.mly"
         ( let (a, b) = _1 in Qname (a, b) )
# 729 "lib/ttl_parser.ml"
     : (Ttl_types.iri))

let _menhir_action_57 =
  fun _1 ->
    (
# 101 "lib/ttl_parser.mly"
             (
    let p = match _1 with "" -> None | s -> Some s in
    Qname (p, None)
  )
# 740 "lib/ttl_parser.ml"
     : (Ttl_types.iri))

let _menhir_action_58 =
  fun x ->
    (
# 250 "<standard.mly>"
    ( [ x ] )
# 748 "lib/ttl_parser.ml"
     : (Ttl_types.object_ list))

let _menhir_action_59 =
  fun x xs ->
    (
# 253 "<standard.mly>"
    ( x :: xs )
# 756 "lib/ttl_parser.ml"
     : (Ttl_types.object_ list))

let _menhir_action_60 =
  fun _1 ->
    (
# 59 "lib/ttl_parser.mly"
            ( Directive _1 )
# 764 "lib/ttl_parser.ml"
     : (Ttl_types.statement))

let _menhir_action_61 =
  fun _1 ->
    (
# 60 "lib/ttl_parser.mly"
              ( let (a,b) = _1 in Triples (a, b) )
# 772 "lib/ttl_parser.ml"
     : (Ttl_types.statement))

let _menhir_action_62 =
  fun _1 ->
    (
# 89 "lib/ttl_parser.mly"
      ( Sub_iri _1 )
# 780 "lib/ttl_parser.ml"
     : (Ttl_types.subject))

let _menhir_action_63 =
  fun _1 ->
    (
# 90 "lib/ttl_parser.mly"
            ( Sub_blank _1 )
# 788 "lib/ttl_parser.ml"
     : (Ttl_types.subject))

let _menhir_action_64 =
  fun _1 ->
    (
# 91 "lib/ttl_parser.mly"
             ( Sub_blank (Collection _1) )
# 796 "lib/ttl_parser.ml"
     : (Ttl_types.subject))

let _menhir_action_65 =
  fun _1 _2 ->
    (
# 83 "lib/ttl_parser.mly"
                   ( (_1, _2) )
# 804 "lib/ttl_parser.ml"
     : (Ttl_types.subject * Ttl_types.predobj list))

let _menhir_action_66 =
  fun _1 l ->
    (
# 85 "lib/ttl_parser.mly"
   ( (Sub_blank _1, match l with None -> [] | Some l -> l) )
# 812 "lib/ttl_parser.ml"
     : (Ttl_types.subject * Ttl_types.predobj list))

let _menhir_action_67 =
  fun _1 ->
    (
# 132 "lib/ttl_parser.mly"
      ( Pred_iri _1 )
# 820 "lib/ttl_parser.ml"
     : (Ttl_types.pred))

let _menhir_action_68 =
  fun () ->
    (
# 133 "lib/ttl_parser.mly"
    ( Pred_a )
# 828 "lib/ttl_parser.ml"
     : (Ttl_types.pred))

let _menhir_print_token : token -> string =
  fun _tok ->
    match _tok with
    | A ->
        "A"
    | ANON ->
        "ANON"
    | AT_BASE ->
        "AT_BASE"
    | AT_PREFIX ->
        "AT_PREFIX"
    | At_identifier _ ->
        "At_identifier"
    | BASE ->
        "BASE"
    | Bname _ ->
        "Bname"
    | Boolean _ ->
        "Boolean"
    | COMMA ->
        "COMMA"
    | DOT ->
        "DOT"
    | Decimal _ ->
        "Decimal"
    | Double _ ->
        "Double"
    | EOF ->
        "EOF"
    | HATHAT ->
        "HATHAT"
    | Identifier _ ->
        "Identifier"
    | Integer _ ->
        "Integer"
    | Iriref_ _ ->
        "Iriref_"
    | LEFT_BRACKET ->
        "LEFT_BRACKET"
    | LEFT_PAR ->
        "LEFT_PAR"
    | PREFIX ->
        "PREFIX"
    | Qname_ _ ->
        "Qname_"
    | RIGHT_BRACKET ->
        "RIGHT_BRACKET"
    | RIGHT_PAR ->
        "RIGHT_PAR"
    | SEMICOLON ->
        "SEMICOLON"
    | String_ _ ->
        "String_"

let _menhir_fail : unit -> 'a =
  fun () ->
    Printf.eprintf "Internal failure -- please contact the parser generator's developers.\n%!";
    assert false

include struct
  
  [@@@ocaml.warning "-4-37"]
  
  let _menhir_run_92 : type  ttv_stack. ttv_stack -> _ -> _menhir_box_nq =
    fun _menhir_stack _v ->
      let _1 = _v in
      let _v = _menhir_action_33 _1 in
      MenhirBox_nq _v
  
  let rec _menhir_run_90 : type  ttv_stack. (ttv_stack, _menhir_box_nq) _menhir_cell1_nq_quad -> _ -> _menhir_box_nq =
    fun _menhir_stack _v ->
      let MenhirCell1_nq_quad (_menhir_stack, _menhir_s, x) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_18 x xs in
      _menhir_goto_list_nq_quad_ _menhir_stack _v _menhir_s
  
  and _menhir_goto_list_nq_quad_ : type  ttv_stack. ttv_stack -> _ -> (ttv_stack, _menhir_box_nq) _menhir_state -> _menhir_box_nq =
    fun _menhir_stack _v _menhir_s ->
      match _menhir_s with
      | MenhirState75 ->
          _menhir_run_92 _menhir_stack _v
      | MenhirState89 ->
          _menhir_run_90 _menhir_stack _v
      | _ ->
          _menhir_fail ()
  
  let _menhir_run_73 : type  ttv_stack. ttv_stack -> _ -> _menhir_box_main =
    fun _menhir_stack _v ->
      let _1 = _v in
      let _v = _menhir_action_30 _1 in
      MenhirBox_main _v
  
  let rec _menhir_run_63 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_statement -> _ -> _menhir_box_main =
    fun _menhir_stack _v ->
      let MenhirCell1_statement (_menhir_stack, _menhir_s, x) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_22 x xs in
      _menhir_goto_list_statement_ _menhir_stack _v _menhir_s
  
  and _menhir_goto_list_statement_ : type  ttv_stack. ttv_stack -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _v _menhir_s ->
      match _menhir_s with
      | MenhirState00 ->
          _menhir_run_73 _menhir_stack _v
      | MenhirState61 ->
          _menhir_run_63 _menhir_stack _v
      | _ ->
          _menhir_fail ()
  
  let rec _menhir_run_01 : type  ttv_stack ttv_result. ttv_stack -> _ -> _ -> _ -> (ttv_stack, ttv_result) _menhir_state -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_56 _1 in
      _menhir_goto_prefixedName _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_prefixedName : type  ttv_stack ttv_result. ttv_stack -> _ -> _ -> _ -> (ttv_stack, ttv_result) _menhir_state -> _ -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_13 _1 in
      _menhir_goto_iri _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_iri : type  ttv_stack ttv_result. ttv_stack -> _ -> _ -> _ -> (ttv_stack, ttv_result) _menhir_state -> _ -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState00 ->
          _menhir_run_64 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState61 ->
          _menhir_run_64 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState67 ->
          _menhir_run_42 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState59 ->
          _menhir_run_42 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState16 ->
          _menhir_run_42 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState40 ->
          _menhir_run_42 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState06 ->
          _menhir_run_30 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState44 ->
          _menhir_run_30 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState18 ->
          _menhir_run_30 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState27 ->
          _menhir_run_30 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState08 ->
          _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_64 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_62 _1 in
      _menhir_goto_subject _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_subject : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_subject (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | Qname_ _v_0 ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState59
      | Iriref_ _v_1 ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState59
      | Identifier _v_2 ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState59
      | A ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState59
      | _ ->
          _eRR ()
  
  and _menhir_run_04 : type  ttv_stack ttv_result. ttv_stack -> _ -> _ -> _ -> (ttv_stack, ttv_result) _menhir_state -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let iri = _v in
      let _v = _menhir_action_14 iri in
      _menhir_goto_iriref _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_iriref : type  ttv_stack ttv_result. ttv_stack -> _ -> _ -> _ -> (ttv_stack, ttv_result) _menhir_state -> _ -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState75 ->
          _menhir_run_88 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState89 ->
          _menhir_run_88 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState84 ->
          _menhir_run_88 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState83 ->
          _menhir_run_84 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState77 ->
          _menhir_run_82 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState54 ->
          _menhir_run_55 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState51 ->
          _menhir_run_52 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState48 ->
          _menhir_run_49 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState00 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState67 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState61 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState59 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState06 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState44 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState16 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState40 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState18 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState27 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState08 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState03 ->
          _menhir_run_05 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_88 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_nq) _menhir_state -> _ -> _menhir_box_nq =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let i = _v in
      let _v = _menhir_action_39 i in
      _menhir_goto_nq_sub _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_nq_sub : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_nq) _menhir_state -> _ -> _menhir_box_nq =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState84 ->
          _menhir_run_85 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState89 ->
          _menhir_run_83 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState75 ->
          _menhir_run_83 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_85 : type  ttv_stack. ((ttv_stack, _menhir_box_nq) _menhir_cell1_nq_sub, _menhir_box_nq) _menhir_cell1_iriref -> _ -> _ -> _ -> _ -> _menhir_box_nq =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let t = _v in
      let _v = _menhir_action_36 t in
      _menhir_goto_nq_obj _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
  
  and _menhir_goto_nq_obj : type  ttv_stack. ((ttv_stack, _menhir_box_nq) _menhir_cell1_nq_sub, _menhir_box_nq) _menhir_cell1_iriref -> _ -> _ -> _ -> _ -> _menhir_box_nq =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_iriref (_menhir_stack, _, pred) = _menhir_stack in
      let MenhirCell1_nq_sub (_menhir_stack, _menhir_s, sub) = _menhir_stack in
      let obj = _v in
      let _v = _menhir_action_41 obj pred sub in
      let _menhir_stack = MenhirCell1_nq_triple (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | Iriref_ _v_0 ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState77
      | Bname _v_1 ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let id = _v_1 in
          let _v = _menhir_action_35 id in
          _menhir_goto_nq_graph _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | DOT ->
          let _v = _menhir_action_47 () in
          _menhir_goto_option_nq_graph_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _eRR ()
  
  and _menhir_goto_nq_graph : type  ttv_stack. (ttv_stack, _menhir_box_nq) _menhir_cell1_nq_triple -> _ -> _ -> _ -> _ -> _menhir_box_nq =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let x = _v in
      let _v = _menhir_action_48 x in
      _menhir_goto_option_nq_graph_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
  
  and _menhir_goto_option_nq_graph_ : type  ttv_stack. (ttv_stack, _menhir_box_nq) _menhir_cell1_nq_triple -> _ -> _ -> _ -> _ -> _menhir_box_nq =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      match (_tok : MenhirBasics.token) with
      | DOT ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let MenhirCell1_nq_triple (_menhir_stack, _menhir_s, t) = _menhir_stack in
          let name = _v in
          let _v = _menhir_action_38 name t in
          let _menhir_stack = MenhirCell1_nq_quad (_menhir_stack, _menhir_s, _v) in
          (match (_tok : MenhirBasics.token) with
          | Iriref_ _v_0 ->
              _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState89
          | Bname _v_1 ->
              _menhir_run_76 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState89
          | EOF ->
              let _v_2 = _menhir_action_17 () in
              _menhir_run_90 _menhir_stack _v_2
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  and _menhir_run_76 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_nq) _menhir_state -> _menhir_box_nq =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let id = _v in
      let _v = _menhir_action_40 id in
      _menhir_goto_nq_sub _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_83 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_nq) _menhir_state -> _ -> _menhir_box_nq =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_nq_sub (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | Iriref_ _v_0 ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState83
      | _ ->
          _eRR ()
  
  and _menhir_run_84 : type  ttv_stack. ((ttv_stack, _menhir_box_nq) _menhir_cell1_nq_sub as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_nq) _menhir_state -> _ -> _menhir_box_nq =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_iriref (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | String_ _v_0 ->
          _menhir_run_07 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState84
      | Iriref_ _v_1 ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState84
      | Integer _v_2 ->
          _menhir_run_19 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState84
      | Double _v_3 ->
          _menhir_run_20 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState84
      | Decimal _v_4 ->
          _menhir_run_21 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState84
      | Boolean _v_5 ->
          _menhir_run_22 _menhir_stack _menhir_lexbuf _menhir_lexer _v_5 MenhirState84
      | Bname _v_6 ->
          _menhir_run_76 _menhir_stack _menhir_lexbuf _menhir_lexer _v_6 MenhirState84
      | _ ->
          _eRR ()
  
  and _menhir_run_07 : type  ttv_stack ttv_result. ttv_stack -> _ -> _ -> _ -> (ttv_stack, ttv_result) _menhir_state -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | HATHAT ->
          let _menhir_stack = MenhirCell1_String_ (_menhir_stack, _menhir_s, _v) in
          let _menhir_s = MenhirState08 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | Qname_ _v ->
              _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Iriref_ _v ->
              _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Identifier _v ->
              _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | At_identifier _v_3 ->
          let _menhir_stack = MenhirCell1_String_ (_menhir_stack, _menhir_s, _v) in
          let _tok = _menhir_lexer _menhir_lexbuf in
          let _1 = _v_3 in
          let _v = _menhir_action_02 _1 in
          let MenhirCell1_String_ (_menhir_stack, _menhir_s, _1) = _menhir_stack in
          let lang = _v in
          let _v = _menhir_action_24 _1 lang in
          _menhir_goto_literal _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | ANON | Bname _ | Boolean _ | COMMA | DOT | Decimal _ | Double _ | Identifier _ | Integer _ | Iriref_ _ | LEFT_BRACKET | LEFT_PAR | Qname_ _ | RIGHT_BRACKET | RIGHT_PAR | SEMICOLON | String_ _ ->
          let _1 = _v in
          let _v = _menhir_action_23 _1 in
          _menhir_goto_literal _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_09 : type  ttv_stack ttv_result. ttv_stack -> _ -> _ -> _ -> (ttv_stack, ttv_result) _menhir_state -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_57 _1 in
      _menhir_goto_prefixedName _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_literal : type  ttv_stack ttv_result. ttv_stack -> _ -> _ -> _ -> (ttv_stack, ttv_result) _menhir_state -> _ -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState84 ->
          _menhir_run_87 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState06 ->
          _menhir_run_29 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState44 ->
          _menhir_run_29 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState18 ->
          _menhir_run_29 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState27 ->
          _menhir_run_29 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_87 : type  ttv_stack. ((ttv_stack, _menhir_box_nq) _menhir_cell1_nq_sub, _menhir_box_nq) _menhir_cell1_iriref -> _ -> _ -> _ -> _ -> _menhir_box_nq =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let l = _v in
      let _v = _menhir_action_37 l in
      _menhir_goto_nq_obj _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
  
  and _menhir_run_29 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_46 _1 in
      _menhir_goto_object_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_object_ : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState44 ->
          _menhir_run_44 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState06 ->
          _menhir_run_44 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState27 ->
          _menhir_run_26 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState18 ->
          _menhir_run_26 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_44 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_object_ (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | String_ _v_0 ->
          _menhir_run_07 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState44
      | Qname_ _v_1 ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState44
      | LEFT_PAR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState44
      | LEFT_BRACKET ->
          _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState44
      | Iriref_ _v_2 ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState44
      | Integer _v_3 ->
          _menhir_run_19 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState44
      | Identifier _v_4 ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState44
      | Double _v_5 ->
          _menhir_run_20 _menhir_stack _menhir_lexbuf _menhir_lexer _v_5 MenhirState44
      | Decimal _v_6 ->
          _menhir_run_21 _menhir_stack _menhir_lexbuf _menhir_lexer _v_6 MenhirState44
      | Boolean _v_7 ->
          _menhir_run_22 _menhir_stack _menhir_lexbuf _menhir_lexer _v_7 MenhirState44
      | Bname _v_8 ->
          _menhir_run_23 _menhir_stack _menhir_lexbuf _menhir_lexer _v_8 MenhirState44
      | ANON ->
          _menhir_run_24 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState44
      | RIGHT_PAR ->
          let _v_9 = _menhir_action_19 () in
          _menhir_run_45 _menhir_stack _menhir_lexbuf _menhir_lexer _v_9
      | _ ->
          _eRR ()
  
  and _menhir_run_06 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_LEFT_PAR (_menhir_stack, _menhir_s) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | String_ _v ->
          _menhir_run_07 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Qname_ _v ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | LEFT_PAR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState06
      | LEFT_BRACKET ->
          _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState06
      | Iriref_ _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Integer _v ->
          _menhir_run_19 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Identifier _v ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Double _v ->
          _menhir_run_20 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Decimal _v ->
          _menhir_run_21 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Boolean _v ->
          _menhir_run_22 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | Bname _v ->
          _menhir_run_23 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState06
      | ANON ->
          _menhir_run_24 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState06
      | RIGHT_PAR ->
          let _v = _menhir_action_19 () in
          _menhir_run_46 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | _ ->
          _eRR ()
  
  and _menhir_run_16 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_LEFT_BRACKET (_menhir_stack, _menhir_s) in
      let _menhir_s = MenhirState16 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | Qname_ _v ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | Iriref_ _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | Identifier _v ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | A ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_17 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _v = _menhir_action_68 () in
      _menhir_goto_verb _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_verb : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_verb (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | String_ _v_0 ->
          _menhir_run_07 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState18
      | Qname_ _v_1 ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState18
      | LEFT_PAR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState18
      | LEFT_BRACKET ->
          _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState18
      | Iriref_ _v_2 ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState18
      | Integer _v_3 ->
          _menhir_run_19 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState18
      | Identifier _v_4 ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState18
      | Double _v_5 ->
          _menhir_run_20 _menhir_stack _menhir_lexbuf _menhir_lexer _v_5 MenhirState18
      | Decimal _v_6 ->
          _menhir_run_21 _menhir_stack _menhir_lexbuf _menhir_lexer _v_6 MenhirState18
      | Boolean _v_7 ->
          _menhir_run_22 _menhir_stack _menhir_lexbuf _menhir_lexer _v_7 MenhirState18
      | Bname _v_8 ->
          _menhir_run_23 _menhir_stack _menhir_lexbuf _menhir_lexer _v_8 MenhirState18
      | ANON ->
          _menhir_run_24 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState18
      | _ ->
          _eRR ()
  
  and _menhir_run_19 : type  ttv_stack ttv_result. ttv_stack -> _ -> _ -> _ -> (ttv_stack, ttv_result) _menhir_state -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_26 _1 in
      _menhir_goto_literal _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_20 : type  ttv_stack ttv_result. ttv_stack -> _ -> _ -> _ -> (ttv_stack, ttv_result) _menhir_state -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_28 _1 in
      _menhir_goto_literal _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_21 : type  ttv_stack ttv_result. ttv_stack -> _ -> _ -> _ -> (ttv_stack, ttv_result) _menhir_state -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_27 _1 in
      _menhir_goto_literal _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_22 : type  ttv_stack ttv_result. ttv_stack -> _ -> _ -> _ -> (ttv_stack, ttv_result) _menhir_state -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_29 _1 in
      _menhir_goto_literal _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_23 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _1 = _v in
      let _v = _menhir_action_05 _1 in
      _menhir_goto_blanknode _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_blanknode : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState00 ->
          _menhir_run_70 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState61 ->
          _menhir_run_70 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState06 ->
          _menhir_run_33 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState44 ->
          _menhir_run_33 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState18 ->
          _menhir_run_33 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState27 ->
          _menhir_run_33 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_70 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_63 _1 in
      _menhir_goto_subject _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_33 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_43 _1 in
      _menhir_goto_object_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_24 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let _v = _menhir_action_06 () in
      _menhir_goto_blanknode _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_46 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_LEFT_PAR -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let MenhirCell1_LEFT_PAR (_menhir_stack, _menhir_s) = _menhir_stack in
      let _2 = _v in
      let _v = _menhir_action_08 _2 in
      _menhir_goto_collection _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_collection : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState00 ->
          _menhir_run_66 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState61 ->
          _menhir_run_66 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState06 ->
          _menhir_run_31 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState44 ->
          _menhir_run_31 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState18 ->
          _menhir_run_31 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState27 ->
          _menhir_run_31 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_66 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_64 _1 in
      _menhir_goto_subject _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_31 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_44 _1 in
      _menhir_goto_object_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_45 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_object_ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v ->
      let MenhirCell1_object_ (_menhir_stack, _menhir_s, x) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_20 x xs in
      _menhir_goto_list_object__ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
  
  and _menhir_goto_list_object__ : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      match _menhir_s with
      | MenhirState06 ->
          _menhir_run_46 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | MenhirState44 ->
          _menhir_run_45 _menhir_stack _menhir_lexbuf _menhir_lexer _v
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_26 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | COMMA ->
          let _menhir_stack = MenhirCell1_object_ (_menhir_stack, _menhir_s, _v) in
          let _menhir_s = MenhirState27 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | String_ _v ->
              _menhir_run_07 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Qname_ _v ->
              _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | LEFT_PAR ->
              _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | LEFT_BRACKET ->
              _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | Iriref_ _v ->
              _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Integer _v ->
              _menhir_run_19 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Identifier _v ->
              _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Double _v ->
              _menhir_run_20 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Decimal _v ->
              _menhir_run_21 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Boolean _v ->
              _menhir_run_22 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | Bname _v ->
              _menhir_run_23 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | ANON ->
              _menhir_run_24 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | _ ->
              _eRR ())
      | DOT | RIGHT_BRACKET | SEMICOLON ->
          let x = _v in
          let _v = _menhir_action_58 x in
          _menhir_goto_separated_nonempty_list_COMMA_object__ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_goto_separated_nonempty_list_COMMA_object__ : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState27 ->
          _menhir_run_28 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState18 ->
          _menhir_run_25 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_28 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_object_ -> _ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_object_ (_menhir_stack, _menhir_s, x) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_59 x xs in
      _menhir_goto_separated_nonempty_list_COMMA_object__ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_25 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_verb -> _ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_verb (_menhir_stack, _menhir_s, _1) = _menhir_stack in
      let _2 = _v in
      let _v = _menhir_action_51 _1 _2 in
      let _menhir_stack = MenhirCell1_predobj (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | SEMICOLON ->
          _menhir_run_37 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState36
      | DOT | RIGHT_BRACKET ->
          let _ = _menhir_action_15 () in
          _menhir_run_43 _menhir_stack _menhir_lexbuf _menhir_lexer _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_37 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | SEMICOLON ->
          let _menhir_stack = MenhirCell1_SEMICOLON (_menhir_stack, _menhir_s) in
          _menhir_run_37 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState37
      | DOT | RIGHT_BRACKET ->
          let _menhir_stack = MenhirCell1_SEMICOLON (_menhir_stack, _menhir_s) in
          let _v = _menhir_action_15 () in
          _menhir_run_39 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | A | Identifier _ | Iriref_ _ | Qname_ _ ->
          let x = () in
          let _v = _menhir_action_31 x in
          _menhir_goto_nonempty_list_SEMICOLON_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_39 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_SEMICOLON -> _ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_SEMICOLON (_menhir_stack, _menhir_s) = _menhir_stack in
      let (xs, x) = (_v, ()) in
      let _v = _menhir_action_16 x xs in
      _menhir_goto_list_SEMICOLON_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_list_SEMICOLON_ : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState36 ->
          _menhir_run_43 _menhir_stack _menhir_lexbuf _menhir_lexer _tok
      | MenhirState37 ->
          _menhir_run_39 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_43 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_predobj -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _tok ->
      let MenhirCell1_predobj (_menhir_stack, _menhir_s, _1) = _menhir_stack in
      let _v = _menhir_action_53 _1 in
      _menhir_goto_predobjs _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_predobjs : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState67 ->
          _menhir_run_68 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState59 ->
          _menhir_run_60 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState40 ->
          _menhir_run_41 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState16 ->
          _menhir_run_34 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_68 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_blanknodepropertylist -> _ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let x = _v in
      let _v = _menhir_action_50 x in
      _menhir_goto_option_predobjs_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
  
  and _menhir_goto_option_predobjs_ : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_blanknodepropertylist -> _ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_blanknodepropertylist (_menhir_stack, _menhir_s, _1) = _menhir_stack in
      let l = _v in
      let _v = _menhir_action_66 _1 l in
      _menhir_goto_triples _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_triples : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match (_tok : MenhirBasics.token) with
      | DOT ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let _1 = _v in
          let _v = _menhir_action_61 _1 in
          _menhir_goto_statement _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_goto_statement : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_statement (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | Qname_ _v_0 ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState61
      | PREFIX ->
          _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState61
      | LEFT_PAR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState61
      | LEFT_BRACKET ->
          _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState61
      | Iriref_ _v_1 ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState61
      | Identifier _v_2 ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState61
      | Bname _v_3 ->
          _menhir_run_23 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState61
      | BASE ->
          _menhir_run_48 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState61
      | AT_PREFIX ->
          _menhir_run_50 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState61
      | AT_BASE ->
          _menhir_run_54 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState61
      | ANON ->
          _menhir_run_24 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState61
      | EOF ->
          let _v_4 = _menhir_action_21 () in
          _menhir_run_63 _menhir_stack _v_4
      | _ ->
          _eRR ()
  
  and _menhir_run_02 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_PREFIX (_menhir_stack, _menhir_s) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | Identifier _v ->
          let _menhir_stack = MenhirCell0_Identifier (_menhir_stack, _v) in
          let _menhir_s = MenhirState03 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | Iriref_ _v ->
              _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  and _menhir_run_48 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_BASE (_menhir_stack, _menhir_s) in
      let _menhir_s = MenhirState48 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | Iriref_ _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_50 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_AT_PREFIX (_menhir_stack, _menhir_s) in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | Identifier _v ->
          let _menhir_stack = MenhirCell0_Identifier (_menhir_stack, _v) in
          let _menhir_s = MenhirState51 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | Iriref_ _v ->
              _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  and _menhir_run_54 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _menhir_stack = MenhirCell1_AT_BASE (_menhir_stack, _menhir_s) in
      let _menhir_s = MenhirState54 in
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | Iriref_ _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
      | _ ->
          _eRR ()
  
  and _menhir_run_60 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_subject -> _ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_subject (_menhir_stack, _menhir_s, _1) = _menhir_stack in
      let _2 = _v in
      let _v = _menhir_action_65 _1 _2 in
      _menhir_goto_triples _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_41 : type  ttv_stack. ((ttv_stack, _menhir_box_main) _menhir_cell1_predobj, _menhir_box_main) _menhir_cell1_nonempty_list_SEMICOLON_ -> _ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_nonempty_list_SEMICOLON_ (_menhir_stack, _, _) = _menhir_stack in
      let MenhirCell1_predobj (_menhir_stack, _menhir_s, _1) = _menhir_stack in
      let _3 = _v in
      let _v = _menhir_action_52 _1 _3 in
      _menhir_goto_predobjs _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_34 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_LEFT_BRACKET -> _ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      match (_tok : MenhirBasics.token) with
      | RIGHT_BRACKET ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let MenhirCell1_LEFT_BRACKET (_menhir_stack, _menhir_s) = _menhir_stack in
          let _2 = _v in
          let _v = _menhir_action_07 _2 in
          _menhir_goto_blanknodepropertylist _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_goto_blanknodepropertylist : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState00 ->
          _menhir_run_67 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState61 ->
          _menhir_run_67 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState06 ->
          _menhir_run_32 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState44 ->
          _menhir_run_32 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState18 ->
          _menhir_run_32 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState27 ->
          _menhir_run_32 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_67 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_blanknodepropertylist (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | Qname_ _v_0 ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState67
      | Iriref_ _v_1 ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState67
      | Identifier _v_2 ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState67
      | A ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState67
      | DOT ->
          let _v = _menhir_action_49 () in
          _menhir_goto_option_predobjs_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_32 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_45 _1 in
      _menhir_goto_object_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_nonempty_list_SEMICOLON_ : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState36 ->
          _menhir_run_40 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState37 ->
          _menhir_run_38 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_40 : type  ttv_stack. ((ttv_stack, _menhir_box_main) _menhir_cell1_predobj as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_nonempty_list_SEMICOLON_ (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | Qname_ _v_0 ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState40
      | Iriref_ _v_1 ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState40
      | Identifier _v_2 ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState40
      | A ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState40
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_38 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_SEMICOLON -> _ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_SEMICOLON (_menhir_stack, _menhir_s) = _menhir_stack in
      let (xs, x) = (_v, ()) in
      let _v = _menhir_action_32 x xs in
      _menhir_goto_nonempty_list_SEMICOLON_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_82 : type  ttv_stack. (ttv_stack, _menhir_box_nq) _menhir_cell1_nq_triple -> _ -> _ -> _ -> _ -> _menhir_box_nq =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let i = _v in
      let _v = _menhir_action_34 i in
      _menhir_goto_nq_graph _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
  
  and _menhir_run_55 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_AT_BASE -> _ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      match (_tok : MenhirBasics.token) with
      | DOT ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let MenhirCell1_AT_BASE (_menhir_stack, _menhir_s) = _menhir_stack in
          let iri = _v in
          let _v = _menhir_action_03 iri in
          _menhir_goto_base _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_goto_base : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_11 _1 in
      _menhir_goto_directive _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_directive : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_60 _1 in
      _menhir_goto_statement _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_52 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_AT_PREFIX _menhir_cell0_Identifier -> _ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      match (_tok : MenhirBasics.token) with
      | DOT ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let MenhirCell0_Identifier (_menhir_stack, n) = _menhir_stack in
          let MenhirCell1_AT_PREFIX (_menhir_stack, _menhir_s) = _menhir_stack in
          let iri = _v in
          let _v = _menhir_action_54 iri n in
          _menhir_goto_prefixID _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_goto_prefixID : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_10 _1 in
      _menhir_goto_directive _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_49 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_BASE -> _ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_BASE (_menhir_stack, _menhir_s) = _menhir_stack in
      let iri = _v in
      let _v = _menhir_action_04 iri in
      _menhir_goto_base _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_11 : type  ttv_stack ttv_result. ttv_stack -> _ -> _ -> _ -> (ttv_stack, ttv_result) _menhir_state -> _ -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_12 _1 in
      _menhir_goto_iri _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_05 : type  ttv_stack. (ttv_stack, _menhir_box_main) _menhir_cell1_PREFIX _menhir_cell0_Identifier -> _ -> _ -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell0_Identifier (_menhir_stack, n) = _menhir_stack in
      let MenhirCell1_PREFIX (_menhir_stack, _menhir_s) = _menhir_stack in
      let iri = _v in
      let _v = _menhir_action_55 iri n in
      _menhir_goto_prefixID _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_42 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_67 _1 in
      _menhir_goto_verb _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_30 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_main) _menhir_state -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _1 = _v in
      let _v = _menhir_action_42 _1 in
      _menhir_goto_object_ _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_12 : type  ttv_stack ttv_result. (ttv_stack, ttv_result) _menhir_cell1_String_ -> _ -> _ -> _ -> _ -> ttv_result =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let _2 = _v in
      let _v = _menhir_action_09 _2 in
      let MenhirCell1_String_ (_menhir_stack, _menhir_s, _1) = _menhir_stack in
      let dt = _v in
      let _v = _menhir_action_25 _1 dt in
      _menhir_goto_literal _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  let _menhir_run_00 : type  ttv_stack. ttv_stack -> _ -> _ -> _menhir_box_main =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | Qname_ _v ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState00
      | PREFIX ->
          _menhir_run_02 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState00
      | LEFT_PAR ->
          _menhir_run_06 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState00
      | LEFT_BRACKET ->
          _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState00
      | Iriref_ _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState00
      | Identifier _v ->
          _menhir_run_09 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState00
      | Bname _v ->
          _menhir_run_23 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState00
      | BASE ->
          _menhir_run_48 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState00
      | AT_PREFIX ->
          _menhir_run_50 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState00
      | AT_BASE ->
          _menhir_run_54 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState00
      | ANON ->
          _menhir_run_24 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState00
      | EOF ->
          let _v = _menhir_action_21 () in
          _menhir_run_73 _menhir_stack _v
      | _ ->
          _eRR ()
  
  let _menhir_run_75 : type  ttv_stack. ttv_stack -> _ -> _ -> _menhir_box_nq =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | Iriref_ _v ->
          _menhir_run_04 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState75
      | Bname _v ->
          _menhir_run_76 _menhir_stack _menhir_lexbuf _menhir_lexer _v MenhirState75
      | EOF ->
          let _v = _menhir_action_17 () in
          _menhir_run_92 _menhir_stack _v
      | _ ->
          _eRR ()
  
end

let nq =
  fun _menhir_lexer _menhir_lexbuf ->
    let _menhir_stack = () in
    let MenhirBox_nq v = _menhir_run_75 _menhir_stack _menhir_lexbuf _menhir_lexer in
    v

let main =
  fun _menhir_lexer _menhir_lexbuf ->
    let _menhir_stack = () in
    let MenhirBox_main v = _menhir_run_00 _menhir_stack _menhir_lexbuf _menhir_lexer in
    v