( (IP-MAT (NP-SBJ;{COTTER} (ADJP (ADJ Old;{old}))
                           (NPR Cotter;{Cotter}))
          (VBD;_Ipr_ looked;{look[at]})
          (PP-CLR (P-ROLE at;{at})
                  (NP (PRO me;{I})))
          (PP-NIM (P-ROLE for;{for})
                  (NP (D a;{a})
                      (N while;{while})))
          (PUNC .))
  (ID 32_a_joyce_1914))

arc(r_0032_0002__Cotter,r_0032_0001__Old,attrib).
arc(r_0032_0003__looked_r_0032_0004__at,r_0032_0002__Cotter,arg0).
arc(r_0032_0003__looked_r_0032_0004__at,r_0032_0005__me,arg1).
arc(r_0032_0003__looked_r_0032_0004__at,r_0032_0007__a_r_0032_0008__while,r_0032_0006__for__nim).

fof(formula,axiom,
    ? [R_0032_0001__OLD,R_0032_0002__COTTER,R_0032_0005__ME,R_0032_0007__A_R_0032_0008__WHILE,R_0032_0003__LOOKED_R_0032_0004__AT] :
      ( r_0032_0001__Old(R_0032_0001__OLD)
      & r_0032_0005__me(R_0032_0005__ME)
      & r_0032_0007__a_r_0032_0008__while(R_0032_0007__A_R_0032_0008__WHILE)
      & r_0032_0003__looked_r_0032_0004__at(R_0032_0003__LOOKED_R_0032_0004__AT)
      & has_r_0032_0006__for__nim(R_0032_0003__LOOKED_R_0032_0004__AT,R_0032_0007__A_R_0032_0008__WHILE)
      & has_arg1(R_0032_0003__LOOKED_R_0032_0004__AT,R_0032_0005__ME)
      & has_arg0(R_0032_0003__LOOKED_R_0032_0004__AT,R_0032_0002__COTTER)
      & r_0032_0002__Cotter(R_0032_0002__COTTER)
      & has_attrib(R_0032_0002__COTTER,R_0032_0001__OLD) ) ).