( (IP-MAT (NP-SBJ (D Some;{some})
                  (NS books;{book}))
          (VBP;_Dn.n_ tell;{tell})
          (NP-OB2 (PRO us;{we}))
          (NP-OB1 (D a;{a})
                  (N lot;{lot})
                  (PP (P-ROLE about;{about})
                      (NP (D a;{a})
                          (ADJP (ADJ historical;{historical}))
                          (N period;{period}))))
          (PUNC .))
  (ID 34_a_fce_0102_2001_06))

arc(r_0034_0003__tell,r_0034_0001__Some_r_0034_0002__books,arg0).
arc(r_0034_0003__tell,r_0034_0004__us,arg2).
arc(r_0034_0003__tell,r_0034_0005__a_r_0034_0006__lot,arg1).
arc(r_0034_0005__a_r_0034_0006__lot,r_0034_0008__a_r_0034_0010__period,r_0034_0007__about).
arc(r_0034_0008__a_r_0034_0010__period,r_0034_0009__historical,attrib).

fof(formula,axiom,
    ? [R_0034_0001__SOME_R_0034_0002__BOOKS,R_0034_0004__US,R_0034_0009__HISTORICAL,R_0034_0008__A_R_0034_0010__PERIOD,R_0034_0005__A_R_0034_0006__LOT,R_0034_0003__TELL] :
      ( r_0034_0001__Some_r_0034_0002__books(R_0034_0001__SOME_R_0034_0002__BOOKS)
      & r_0034_0004__us(R_0034_0004__US)
      & r_0034_0009__historical(R_0034_0009__HISTORICAL)
      & r_0034_0003__tell(R_0034_0003__TELL)
      & has_arg1(R_0034_0003__TELL,R_0034_0005__A_R_0034_0006__LOT)
      & r_0034_0005__a_r_0034_0006__lot(R_0034_0005__A_R_0034_0006__LOT)
      & has_r_0034_0007__about(R_0034_0005__A_R_0034_0006__LOT,R_0034_0008__A_R_0034_0010__PERIOD)
      & r_0034_0008__a_r_0034_0010__period(R_0034_0008__A_R_0034_0010__PERIOD)
      & has_attrib(R_0034_0008__A_R_0034_0010__PERIOD,R_0034_0009__HISTORICAL)
      & has_arg2(R_0034_0003__TELL,R_0034_0004__US)
      & has_arg0(R_0034_0003__TELL,R_0034_0001__SOME_R_0034_0002__BOOKS) ) ).