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, arg1).
arc(r_0042_0012__to_r_0042_0013__call_r_0042_0015__out, r_0042_0010__a_r_0042_0011__bleeper, arg0).
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_nim42).
arc(z_000_42_a_alresford_28, r_0042_0009__wore, scope).
arc(z_000_42_a_alresford_28, 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_0004__part_r_0042_0006__time_r_0042_0007__fireman, prd).

fof(formula,axiom,
    ? [Z_42_A_ALRESFORD_28,R_42_12_TO_CALL_OUT,R_42_17_A_FIRE,R_42_9_WORE,R_42_10_A_BLEEPER,Z_42_A_ALRESFORD_7,R_42_1_GEORGE,R_42_3_A_PART_TIME_FIREMAN] :
      ( a_fire(R_42_17_A_FIRE)
      & a_bleeper(R_42_10_A_BLEEPER)
      & george(R_42_1_GEORGE)
      & a_part_time_fireman(R_42_3_A_PART_TIME_FIREMAN)
      & z_42_a_alresford_28(Z_42_A_ALRESFORD_28)
      & conj1(Z_42_A_ALRESFORD_28,R_42_12_TO_CALL_OUT)
      & to_call_out(R_42_12_TO_CALL_OUT,R_42_10_A_BLEEPER,R_42_1_GEORGE)
      & to_nim42(R_42_12_TO_CALL_OUT,R_42_17_A_FIRE)
      & conj2(Z_42_A_ALRESFORD_28,R_42_9_WORE)
      & wore(R_42_9_WORE,R_42_1_GEORGE,R_42_10_A_BLEEPER)
      & z_42_a_alresford_7(Z_42_A_ALRESFORD_7,R_42_1_GEORGE,R_42_3_A_PART_TIME_FIREMAN) ) ).

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