arc(r_0042_0003__a_r_0042_0006__time_r_0042_0007__fireman, r_0042_0004__part, attrib11).
arc(r_0042_0009__wore, r_0042_0001__George, arg0).
arc(r_0042_0009__wore, r_0042_0010__a_r_0042_0011__bleeper, arg1).
arc(r_0042_0012__to_r_0042_0013__call_r_0042_0015__out, r_0042_0001__George, arg0).
arc(r_0042_0012__to_r_0042_0013__call_r_0042_0015__out, r_0042_0014__him, arg1).
arc(r_0042_0012__to_r_0042_0013__call_r_0042_0015__out, r_0042_0017__a_r_0042_0018__fire, r_0042_0016__to_nim43).
arc(z_000_42_a_alresford_29, r_0042_0009__wore, scope).
arc(z_000_42_a_alresford_29, r_0042_0012__to_r_0042_0013__call_r_0042_0015__out, restriction).
arc(z_000_42_a_alresford_7, r_0042_0001__George, arg0).
arc(z_000_42_a_alresford_7, r_0042_0003__a_r_0042_0006__time_r_0042_0007__fireman, prd).

fof(formula,axiom,
    ? [R_0042_0001__GEORGE,R_0042_0010__A_R_0042_0011__BLEEPER,R_0042_0009__WORE,R_0042_0014__HIM,R_0042_0017__A_R_0042_0018__FIRE,R_0042_0012__TO_R_0042_0013__CALL_R_0042_0015__OUT,Z_000_42_A_ALRESFORD_29,R_0042_0004__PART,R_0042_0003__A_R_0042_0006__TIME_R_0042_0007__FIREMAN,Z_000_42_A_ALRESFORD_7] :
      ( r_0042_0001__George(R_0042_0001__GEORGE)
      & r_0042_0004__part(R_0042_0004__PART)
      & r_0042_0010__a_r_0042_0011__bleeper(R_0042_0010__A_R_0042_0011__BLEEPER)
      & r_0042_0014__him(R_0042_0014__HIM)
      & r_0042_0017__a_r_0042_0018__fire(R_0042_0017__A_R_0042_0018__FIRE)
      & z_000_42_a_alresford_7(Z_000_42_A_ALRESFORD_7)
      & has_prd(Z_000_42_A_ALRESFORD_7,R_0042_0003__A_R_0042_0006__TIME_R_0042_0007__FIREMAN)
      & r_0042_0003__a_r_0042_0006__time_r_0042_0007__fireman(R_0042_0003__A_R_0042_0006__TIME_R_0042_0007__FIREMAN)
      & has_attrib11(R_0042_0003__A_R_0042_0006__TIME_R_0042_0007__FIREMAN,R_0042_0004__PART)
      & has_arg0(Z_000_42_A_ALRESFORD_7,R_0042_0001__GEORGE)
      & z_000_42_a_alresford_29(Z_000_42_A_ALRESFORD_29)
      & has_conj1(Z_000_42_A_ALRESFORD_29,R_0042_0012__TO_R_0042_0013__CALL_R_0042_0015__OUT)
      & r_0042_0012__to_r_0042_0013__call_r_0042_0015__out(R_0042_0012__TO_R_0042_0013__CALL_R_0042_0015__OUT)
      & has_r_0042_0016__to_nim43(R_0042_0012__TO_R_0042_0013__CALL_R_0042_0015__OUT,R_0042_0017__A_R_0042_0018__FIRE)
      & has_arg1(R_0042_0012__TO_R_0042_0013__CALL_R_0042_0015__OUT,R_0042_0014__HIM)
      & has_arg0(R_0042_0012__TO_R_0042_0013__CALL_R_0042_0015__OUT,R_0042_0001__GEORGE)
      & has_conj2(Z_000_42_A_ALRESFORD_29,R_0042_0009__WORE)
      & r_0042_0009__wore(R_0042_0009__WORE)
      & has_arg1(R_0042_0009__WORE,R_0042_0010__A_R_0042_0011__BLEEPER)
      & has_arg0(R_0042_0009__WORE,R_0042_0001__GEORGE) ) ).

( (IP-MAT (NP-SBJ;{GEORGE} (NPR George;{George})
                           (PUNC ,)
                           (IP-PPL (NP-PRD (D a;{a})
                                           (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 42_a_alresford))