num))

(define (add-ns-to-state state ns iri)

  (update-parser-state state

    #:namespaces (cons (cons ns iri) (parser-state-namespaces state))))

(define (parse-iri iri state)

  (match iri

    (('iri ('prefixed-name ('pname-ln ('pname-ns ns) suffix)))

     `(("iri" . ,(string-append (assoc-ref (parser-state-namespaces state) ns)

         ("state" . ,(assoc-ref res "state")))))))

(define (parse-object object state)

  (match object

    (('rdf-literal ('string-pat (_ str)))

     (let ((object

(define (parse-object-list ol state)

  (let loop ((ol ol) (state state))

    (match ol

      ('() state)

      ((('object object) ol ...)

(define (parse-predicate-object po state)

  (let loop ((po po) (state state))

    (match po

      ((('verb verb) ('object-list ol ...) po)

       (let* ((verb (parse-verb verb state))

             (update-parser-state

               state #:base-uri (resolve-iri iri (parser-state-base-uri state)))))

      ((('triples t ...) parse-tree ...)

       (let ((res (parse-triples t state)))

         (loop parse-tree (parse-triples t state))))

      ;; otherwise, it's a single element, not a list of statements