Context                Previous, Next                Top


42_a_alresford
George, a part - time fireman, wore a bleeper to call him out to a fire.

%3 r_0042_0003__a_r_0042_0006__time_r_0042_0007__fireman a time fireman r_0042_0004__part part r_0042_0003__a_r_0042_0006__time_r_0042_0007__fireman->r_0042_0004__part [attrib] r_0042_0009__wore wore r_0042_0001__George George r_0042_0009__wore->r_0042_0001__George [arg0] r_0042_0010__a_r_0042_0011__bleeper a bleeper r_0042_0009__wore->r_0042_0010__a_r_0042_0011__bleeper [arg1] r_0042_0012__to_r_0042_0013__call_r_0042_0015__out to call out r_0042_0012__to_r_0042_0013__call_r_0042_0015__out->r_0042_0001__George [arg0] r_0042_0014__him him r_0042_0012__to_r_0042_0013__call_r_0042_0015__out->r_0042_0014__him [arg1] r_0042_0017__a_r_0042_0018__fire a fire r_0042_0012__to_r_0042_0013__call_r_0042_0015__out->r_0042_0017__a_r_0042_0018__fire to [nim] z_000_42_a_alresford_29 z_000_42_a_alresford_29->r_0042_0009__wore [scope] z_000_42_a_alresford_29->r_0042_0012__to_r_0042_0013__call_r_0042_0015__out [restriction] z_000_42_a_alresford_7 z_000_42_a_alresford_7->r_0042_0003__a_r_0042_0006__time_r_0042_0007__fireman [prd] z_000_42_a_alresford_7->r_0042_0001__George [arg0] 
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).


%3 z_000_42_a_alresford_7 r_0042_0003__a_r_0042_0006__time_r_0042_0007__fireman a time fireman z_000_42_a_alresford_7->r_0042_0003__a_r_0042_0006__time_r_0042_0007__fireman [prd] r_0042_0001__George George z_000_42_a_alresford_7->r_0042_0001__George [arg0] r_0042_0004__part part r_0042_0003__a_r_0042_0006__time_r_0042_0007__fireman->r_0042_0004__part [attrib] z_000_42_a_alresford_29 r_0042_0012__to_r_0042_0013__call_r_0042_0015__out to call out z_000_42_a_alresford_29->r_0042_0012__to_r_0042_0013__call_r_0042_0015__out [conj1] r_0042_0009__wore wore z_000_42_a_alresford_29->r_0042_0009__wore [conj2] r_0042_0012__to_r_0042_0013__call_r_0042_0015__out->r_0042_0001__George [arg0] r_0042_0017__a_r_0042_0018__fire a fire r_0042_0012__to_r_0042_0013__call_r_0042_0015__out->r_0042_0017__a_r_0042_0018__fire to [nim] r_0042_0014__him him r_0042_0012__to_r_0042_0013__call_r_0042_0015__out->r_0042_0014__him [arg1] r_0042_0009__wore->r_0042_0001__George [arg0] r_0042_0010__a_r_0042_0011__bleeper a bleeper r_0042_0009__wore->r_0042_0010__a_r_0042_0011__bleeper [arg1] 
fof(formula,axiom,
    ? [Z_42_A_ALRESFORD_29,R_42_12_TO_CALL_OUT,R_42_14_HIM,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_TIME_FIREMAN,R_42_4_PART] :
      ( him(R_42_14_HIM)
      & a_fire(R_42_17_A_FIRE)
      & a_bleeper(R_42_10_A_BLEEPER)
      & george(R_42_1_GEORGE)
      & part(R_42_4_PART)
      & z_42_a_alresford_29(Z_42_A_ALRESFORD_29)
      & conj1(Z_42_A_ALRESFORD_29,R_42_12_TO_CALL_OUT)
      & to_call_out(R_42_12_TO_CALL_OUT,R_42_1_GEORGE,R_42_14_HIM)
      & to_nim43(R_42_12_TO_CALL_OUT,R_42_17_A_FIRE)
      & conj2(Z_42_A_ALRESFORD_29,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_TIME_FIREMAN)
      & a_time_fireman(R_42_3_A_TIME_FIREMAN)
      & attrib11(R_42_3_A_TIME_FIREMAN,R_42_4_PART) ) ).


n42_a_alresford n42_a_alresford__1_1_1_1 George n42_a_alresford__1_1_2_1 , n42_a_alresford__1_1_3_1_1_1 a n42_a_alresford__1_1_3_1_2_1_1 part n42_a_alresford__1_1_3_1_3_1 - n42_a_alresford__1_1_3_1_4_1 time n42_a_alresford__1_1_3_1_5_1 fireman n42_a_alresford__1_2_1 , n42_a_alresford__1_3_1 wore n42_a_alresford__1_4_1_1 a n42_a_alresford__1_4_2_1 bleeper n42_a_alresford__1_5_1_1_1 to n42_a_alresford__1_5_1_2_1 call n42_a_alresford__1_5_1_3_1_1 him n42_a_alresford__1_5_1_4_1 out n42_a_alresford__1_5_1_5_1_1 to n42_a_alresford__1_5_1_5_2_1_1 a n42_a_alresford__1_5_1_5_2_2_1 fire n42_a_alresford__1_6_1 . n42_a_alresford__1 IP-MAT n42_a_alresford__1_1 NP-SBJ n42_a_alresford__1->n42_a_alresford__1_1 n42_a_alresford__1_2 PUNC n42_a_alresford__1->n42_a_alresford__1_2 n42_a_alresford__1_3 VBD;_Tn_ n42_a_alresford__1->n42_a_alresford__1_3 n42_a_alresford__1_4 NP-OB1 n42_a_alresford__1->n42_a_alresford__1_4 n42_a_alresford__1_5 PP-SCON n42_a_alresford__1->n42_a_alresford__1_5 n42_a_alresford__1_6 PUNC n42_a_alresford__1->n42_a_alresford__1_6 n42_a_alresford__1_1_1 NPR n42_a_alresford__1_1->n42_a_alresford__1_1_1 n42_a_alresford__1_1_2 PUNC n42_a_alresford__1_1->n42_a_alresford__1_1_2 n42_a_alresford__1_1_3 IP-PPL n42_a_alresford__1_1->n42_a_alresford__1_1_3 n42_a_alresford__1_1_1->n42_a_alresford__1_1_1_1 n42_a_alresford__1_1_2->n42_a_alresford__1_1_2_1 n42_a_alresford__1_1_3_1 NP-PRD n42_a_alresford__1_1_3->n42_a_alresford__1_1_3_1 n42_a_alresford__1_1_3_1_1 D n42_a_alresford__1_1_3_1->n42_a_alresford__1_1_3_1_1 n42_a_alresford__1_1_3_1_2 ADJP n42_a_alresford__1_1_3_1->n42_a_alresford__1_1_3_1_2 n42_a_alresford__1_1_3_1_3 PUNC n42_a_alresford__1_1_3_1->n42_a_alresford__1_1_3_1_3 n42_a_alresford__1_1_3_1_4 N n42_a_alresford__1_1_3_1->n42_a_alresford__1_1_3_1_4 n42_a_alresford__1_1_3_1_5 N n42_a_alresford__1_1_3_1->n42_a_alresford__1_1_3_1_5 n42_a_alresford__1_1_3_1_1->n42_a_alresford__1_1_3_1_1_1 n42_a_alresford__1_1_3_1_2_1 ADJ n42_a_alresford__1_1_3_1_2->n42_a_alresford__1_1_3_1_2_1 n42_a_alresford__1_1_3_1_2_1->n42_a_alresford__1_1_3_1_2_1_1 n42_a_alresford__1_1_3_1_3->n42_a_alresford__1_1_3_1_3_1 n42_a_alresford__1_1_3_1_4->n42_a_alresford__1_1_3_1_4_1 n42_a_alresford__1_1_3_1_5->n42_a_alresford__1_1_3_1_5_1 n42_a_alresford__1_2->n42_a_alresford__1_2_1 n42_a_alresford__1_3->n42_a_alresford__1_3_1 n42_a_alresford__1_4_1 D n42_a_alresford__1_4->n42_a_alresford__1_4_1 n42_a_alresford__1_4_2 N n42_a_alresford__1_4->n42_a_alresford__1_4_2 n42_a_alresford__1_4_1->n42_a_alresford__1_4_1_1 n42_a_alresford__1_4_2->n42_a_alresford__1_4_2_1 n42_a_alresford__1_5_1 IP-INF n42_a_alresford__1_5->n42_a_alresford__1_5_1 n42_a_alresford__1_5_1_1 TO n42_a_alresford__1_5_1->n42_a_alresford__1_5_1_1 n42_a_alresford__1_5_1_2 VB;_phr_Vn<=>p_ n42_a_alresford__1_5_1->n42_a_alresford__1_5_1_2 n42_a_alresford__1_5_1_3 NP-OB1 n42_a_alresford__1_5_1->n42_a_alresford__1_5_1_3 n42_a_alresford__1_5_1_4 RP n42_a_alresford__1_5_1->n42_a_alresford__1_5_1_4 n42_a_alresford__1_5_1_5 PP-NIM n42_a_alresford__1_5_1->n42_a_alresford__1_5_1_5 n42_a_alresford__1_5_1_1->n42_a_alresford__1_5_1_1_1 n42_a_alresford__1_5_1_2->n42_a_alresford__1_5_1_2_1 n42_a_alresford__1_5_1_3_1 PRO n42_a_alresford__1_5_1_3->n42_a_alresford__1_5_1_3_1 n42_a_alresford__1_5_1_3_1->n42_a_alresford__1_5_1_3_1_1 n42_a_alresford__1_5_1_4->n42_a_alresford__1_5_1_4_1 n42_a_alresford__1_5_1_5_1 P-ROLE n42_a_alresford__1_5_1_5->n42_a_alresford__1_5_1_5_1 n42_a_alresford__1_5_1_5_2 NP n42_a_alresford__1_5_1_5->n42_a_alresford__1_5_1_5_2 n42_a_alresford__1_5_1_5_1->n42_a_alresford__1_5_1_5_1_1 n42_a_alresford__1_5_1_5_2_1 D n42_a_alresford__1_5_1_5_2->n42_a_alresford__1_5_1_5_2_1 n42_a_alresford__1_5_1_5_2_2 N n42_a_alresford__1_5_1_5_2->n42_a_alresford__1_5_1_5_2_2 n42_a_alresford__1_5_1_5_2_1->n42_a_alresford__1_5_1_5_2_1_1 n42_a_alresford__1_5_1_5_2_2->n42_a_alresford__1_5_1_5_2_2_1 n42_a_alresford__1_6->n42_a_alresford__1_6_1 
( (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))