( (IP-MAT (PULQ <lquo>)
          (NP-SBJ (ADJP (ADJ Exciting;{exciting}))
                  (NS books;{book}))
          (ADVP-NIM (ADV always;{always}))
          (VBP;_Tn_ describe;{describe})
          (NP-OB1 (NS people;{people})
                  (PP (P-ROLE in;{in})
                      (NP (ADJP (ADJ difficult;{difficult}))
                          (NS situations;{situation}))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 31_a_fce_0102_2000_06))

arc(r_0031_0003__books,r_0031_0002__Exciting,attrib).
arc(r_0031_0005__describe,r_0031_0003__books,arg0).
arc(r_0031_0005__describe,r_0031_0004__always,nim).
arc(r_0031_0005__describe,r_0031_0006__people,arg1).
arc(r_0031_0006__people,r_0031_0009__situations,r_0031_0007__in).
arc(r_0031_0009__situations,r_0031_0008__difficult,attrib).

fof(formula,axiom,
    ? [R_0031_0002__EXCITING,R_0031_0003__BOOKS,R_0031_0004__ALWAYS,R_0031_0008__DIFFICULT,R_0031_0009__SITUATIONS,R_0031_0006__PEOPLE,R_0031_0005__DESCRIBE] :
      ( r_0031_0002__Exciting(R_0031_0002__EXCITING)
      & r_0031_0004__always(R_0031_0004__ALWAYS)
      & r_0031_0008__difficult(R_0031_0008__DIFFICULT)
      & r_0031_0005__describe(R_0031_0005__DESCRIBE)
      & has_arg1(R_0031_0005__DESCRIBE,R_0031_0006__PEOPLE)
      & r_0031_0006__people(R_0031_0006__PEOPLE)
      & has_r_0031_0007__in(R_0031_0006__PEOPLE,R_0031_0009__SITUATIONS)
      & r_0031_0009__situations(R_0031_0009__SITUATIONS)
      & has_attrib(R_0031_0009__SITUATIONS,R_0031_0008__DIFFICULT)
      & has_nim(R_0031_0005__DESCRIBE,R_0031_0004__ALWAYS)
      & has_arg0(R_0031_0005__DESCRIBE,R_0031_0003__BOOKS)
      & r_0031_0003__books(R_0031_0003__BOOKS)
      & has_attrib(R_0031_0003__BOOKS,R_0031_0002__EXCITING) ) ).