( (IP-MAT (NP-SBJ;{DARCY_BUSSELL_PORTRAIT} (D That;{that})
                                           (ADJP (ADJ particular;{particular}))
                                           (N picture;{picture}))
          (ADVP-NIM (ADV always;{always}))
          (VBD;_Tn.pr_ reminded;{remind[of]})
          (NP-OB1 (PRO me;{I}))
          (PP-CLR (P-ROLE of;{of})
                  (NP (D the;{the})
                      (NS doodles;{doodle})
                      (IP-REL (NP-OB1 *T*)
                              (NP-SBJ;{GIRLS} (NS girls;{girl}))
                              (VBD;_Tn_ drew;{draw})
                              (PP-NIM (P-ROLE in;{in})
                                      (NP (NP-GEN;{GIRLS} (PRO;_genm_ their;{their}))
                                          (ADJP (ADJ rough;{rough}))
                                          (NS books;{book})))
                              (PP-NIM (P-ROLE at;{at})
                                      (NP (N school;{school}))))))
          (PUNC .))
  (ID 48_a_loosechange))

arc(r_0048_0001__That_r_0048_0003__picture,r_0048_0002__particular,attrib).
arc(r_0048_0005__reminded_r_0048_0007__of,r_0048_0001__That_r_0048_0003__picture,arg0).
arc(r_0048_0005__reminded_r_0048_0007__of,r_0048_0004__always,nim).
arc(r_0048_0005__reminded_r_0048_0007__of,r_0048_0006__me,arg1).
arc(r_0048_0005__reminded_r_0048_0007__of,r_0048_0008__the_r_0048_0009__doodles,arg2).
arc(r_0048_0011__drew,r_0048_0008__the_r_0048_0009__doodles,inv_arg1).
arc(r_0048_0011__drew,r_0048_0010__girls,arg0).
arc(r_0048_0011__drew,r_0048_0015__books,r_0048_0012__in__nim).
arc(r_0048_0011__drew,r_0048_0017__school,r_0048_0016__at__nim).
arc(r_0048_0015__books,r_0048_0010__girls,gen).
arc(r_0048_0015__books,r_0048_0014__rough,attrib).

fof(formula,axiom,
    ? [R_0048_0002__PARTICULAR,R_0048_0001__THAT_R_0048_0003__PICTURE,R_0048_0004__ALWAYS,R_0048_0006__ME,R_0048_0010__GIRLS,R_0048_0014__ROUGH,R_0048_0015__BOOKS,R_0048_0017__SCHOOL,R_0048_0011__DREW,R_0048_0008__THE_R_0048_0009__DOODLES,R_0048_0005__REMINDED_R_0048_0007__OF] :
      ( r_0048_0002__particular(R_0048_0002__PARTICULAR)
      & r_0048_0004__always(R_0048_0004__ALWAYS)
      & r_0048_0006__me(R_0048_0006__ME)
      & r_0048_0010__girls(R_0048_0010__GIRLS)
      & r_0048_0014__rough(R_0048_0014__ROUGH)
      & r_0048_0017__school(R_0048_0017__SCHOOL)
      & r_0048_0005__reminded_r_0048_0007__of(R_0048_0005__REMINDED_R_0048_0007__OF)
      & has_arg2(R_0048_0005__REMINDED_R_0048_0007__OF,R_0048_0008__THE_R_0048_0009__DOODLES)
      & r_0048_0008__the_r_0048_0009__doodles(R_0048_0008__THE_R_0048_0009__DOODLES)
      & has_inv_arg1(R_0048_0008__THE_R_0048_0009__DOODLES,R_0048_0011__DREW)
      & r_0048_0011__drew(R_0048_0011__DREW)
      & has_r_0048_0016__at__nim(R_0048_0011__DREW,R_0048_0017__SCHOOL)
      & has_r_0048_0012__in__nim(R_0048_0011__DREW,R_0048_0015__BOOKS)
      & r_0048_0015__books(R_0048_0015__BOOKS)
      & has_attrib(R_0048_0015__BOOKS,R_0048_0014__ROUGH)
      & has_gen(R_0048_0015__BOOKS,R_0048_0010__GIRLS)
      & has_arg0(R_0048_0011__DREW,R_0048_0010__GIRLS)
      & has_arg1(R_0048_0005__REMINDED_R_0048_0007__OF,R_0048_0006__ME)
      & has_nim(R_0048_0005__REMINDED_R_0048_0007__OF,R_0048_0004__ALWAYS)
      & has_arg0(R_0048_0005__REMINDED_R_0048_0007__OF,R_0048_0001__THAT_R_0048_0003__PICTURE)
      & r_0048_0001__That_r_0048_0003__picture(R_0048_0001__THAT_R_0048_0003__PICTURE)
      & has_attrib(R_0048_0001__THAT_R_0048_0003__PICTURE,R_0048_0002__PARTICULAR) ) ).