( (IP-MAT (NP-SBJ;{GEORGE} (NPR George;{George})
                           (PUNC ,)
                           (PRN (NP (D a;{a})
                                    (NLYR (ADJP (ADJ part;{part}))
                                          (PUNC <hyphen>)
                                          (N time;{time}))
                                    (N fireman;{fireman}))))
          (PUNC ,)
          (VBD;_Tn_ wore;{wear})
          (NP-OB1 (D a;{a})
                  (N bleeper;{bleeper}))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_phr_Vn<=>p_ call;{call[out]})
                           (NP-OB1;{GEORGE} (PRO him;{he}))
                           (RP out;{out})
                           (PP-NIM (P-ROLE to;{to})
                                   (NP (D a;{a})
                                       (N fire;{fire})))))
          (PUNC .))
  (ID 41_a_alresford))

arc(r_0041_0009__wore,r_0041_0001__George,arg0).
arc(r_0041_0009__wore,r_0041_0010__a_r_0041_0011__bleeper,arg1).
arc(r_0041_0013__call_r_0041_0015__out,r_0041_0001__George,arg1).
arc(r_0041_0013__call_r_0041_0015__out,r_0041_0010__a_r_0041_0011__bleeper,arg0).
arc(r_0041_0013__call_r_0041_0015__out,r_0041_0017__a_r_0041_0018__fire,r_0041_0016__to__nim).
arc(z_0041_5002,r_0041_0001__George,arg0).
arc(z_0041_5002,r_0041_0003__a_r_0041_0004__part_r_0041_0006__time_r_0041_0007__fireman,prd).
arc(z_0041_5005,r_0041_0009__wore,scope).
arc(z_0041_5005,r_0041_0013__call_r_0041_0015__out,restriction).

fof(formula,axiom,
    ? [R_0041_0001__GEORGE,R_0041_0003__A_R_0041_0004__PART_R_0041_0006__TIME_R_0041_0007__FIREMAN,Z_0041_5002,R_0041_0010__A_R_0041_0011__BLEEPER,R_0041_0009__WORE,R_0041_0017__A_R_0041_0018__FIRE,R_0041_0013__CALL_R_0041_0015__OUT,Z_0041_5005] :
      ( r_0041_0001__George(R_0041_0001__GEORGE)
      & r_0041_0003__a_r_0041_0004__part_r_0041_0006__time_r_0041_0007__fireman(R_0041_0003__A_R_0041_0004__PART_R_0041_0006__TIME_R_0041_0007__FIREMAN)
      & r_0041_0010__a_r_0041_0011__bleeper(R_0041_0010__A_R_0041_0011__BLEEPER)
      & r_0041_0017__a_r_0041_0018__fire(R_0041_0017__A_R_0041_0018__FIRE)
      & z_0041_5005(Z_0041_5005)
      & has_conj1(Z_0041_5005,R_0041_0013__CALL_R_0041_0015__OUT)
      & r_0041_0013__call_r_0041_0015__out(R_0041_0013__CALL_R_0041_0015__OUT)
      & has_r_0041_0016__to__nim(R_0041_0013__CALL_R_0041_0015__OUT,R_0041_0017__A_R_0041_0018__FIRE)
      & has_arg0(R_0041_0013__CALL_R_0041_0015__OUT,R_0041_0010__A_R_0041_0011__BLEEPER)
      & has_arg1(R_0041_0013__CALL_R_0041_0015__OUT,R_0041_0001__GEORGE)
      & has_conj2(Z_0041_5005,R_0041_0009__WORE)
      & r_0041_0009__wore(R_0041_0009__WORE)
      & has_arg1(R_0041_0009__WORE,R_0041_0010__A_R_0041_0011__BLEEPER)
      & has_arg0(R_0041_0009__WORE,R_0041_0001__GEORGE)
      & z_0041_5002(Z_0041_5002)
      & has_prd(Z_0041_5002,R_0041_0003__A_R_0041_0004__PART_R_0041_0006__TIME_R_0041_0007__FIREMAN)
      & has_arg0(Z_0041_5002,R_0041_0001__GEORGE) ) ).