( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N year;{year})
                              (NPR 1566))
                      (VBP;_La_ seems;{seem})
                      (ADJP-PRD (ADVP (ADV very;{very}))
                                (ADJ recent;{recent})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{HEDGEHOG} (D the;{the})
                                                (N hedgehog;{hedgehog}))
                             (BED;_Ip_ was;{be})
                             (ADVP-CLR (ADV around;{around})
                                       (PP (P-ROLE before;{before})
                                           (ADVP (ADV then;{then})))))))
          (PUNC .))
  (ID 111_a_hedgehog;speaker=Stewart))

arc(r_0111_0004__seems,r_0111_0001__The_r_0111_0002__year_r_0111_0003__1566,arg0).
arc(r_0111_0004__seems,r_0111_0006__recent,prd).
arc(r_0111_0006__recent,r_0111_0005__very,qual).
arc(r_0111_0008__but,r_0111_0004__seems,conj1).
arc(r_0111_0008__but,r_0111_0011__was,conj2).
arc(r_0111_0011__was,r_0111_0009__the_r_0111_0010__hedgehog,arg0).
arc(r_0111_0011__was,r_0111_0012__around,clr).
arc(r_0111_0012__around,r_0111_0014__then,r_0111_0013__before).

fof(formula,axiom,
    ? [R_0111_0001__THE_R_0111_0002__YEAR_R_0111_0003__1566,R_0111_0005__VERY,R_0111_0006__RECENT,R_0111_0004__SEEMS,R_0111_0009__THE_R_0111_0010__HEDGEHOG,R_0111_0014__THEN,R_0111_0012__AROUND,R_0111_0011__WAS,R_0111_0008__BUT] :
      ( r_0111_0001__The_r_0111_0002__year_r_0111_0003__1566(R_0111_0001__THE_R_0111_0002__YEAR_R_0111_0003__1566)
      & r_0111_0005__very(R_0111_0005__VERY)
      & r_0111_0009__the_r_0111_0010__hedgehog(R_0111_0009__THE_R_0111_0010__HEDGEHOG)
      & r_0111_0014__then(R_0111_0014__THEN)
      & r_0111_0008__but(R_0111_0008__BUT)
      & has_conj2(R_0111_0008__BUT,R_0111_0011__WAS)
      & r_0111_0011__was(R_0111_0011__WAS)
      & has_clr(R_0111_0011__WAS,R_0111_0012__AROUND)
      & r_0111_0012__around(R_0111_0012__AROUND)
      & has_r_0111_0013__before(R_0111_0012__AROUND,R_0111_0014__THEN)
      & has_arg0(R_0111_0011__WAS,R_0111_0009__THE_R_0111_0010__HEDGEHOG)
      & has_conj1(R_0111_0008__BUT,R_0111_0004__SEEMS)
      & r_0111_0004__seems(R_0111_0004__SEEMS)
      & has_prd(R_0111_0004__SEEMS,R_0111_0006__RECENT)
      & r_0111_0006__recent(R_0111_0006__RECENT)
      & has_qual(R_0111_0006__RECENT,R_0111_0005__VERY)
      & has_arg0(R_0111_0004__SEEMS,R_0111_0001__THE_R_0111_0002__YEAR_R_0111_0003__1566) ) ).