Context                Previous, Next                Top


463_a_dick_1952
He examined it, holding it up to the light.

%3 r_0463_0002__examined examined r_0463_0001__He He r_0463_0002__examined->r_0463_0001__He [arg0] r_0463_0003__it it r_0463_0002__examined->r_0463_0003__it [arg1] r_0463_0005__holding holding r_0463_0005__holding->r_0463_0001__He [arg0] r_0463_0006__it it r_0463_0005__holding->r_0463_0006__it [arg1] r_0463_0007__up up r_0463_0005__holding->r_0463_0007__up [clr] r_0463_0009__the_r_0463_0010__light the light r_0463_0005__holding->r_0463_0009__the_r_0463_0010__light to [nim] z_000_463_a_dick_1952_12 z_000_463_a_dick_1952_12->r_0463_0002__examined [scope] z_000_463_a_dick_1952_12->r_0463_0005__holding [restriction] 
arc(r_0463_0002__examined, r_0463_0001__He, arg0).
arc(r_0463_0002__examined, r_0463_0003__it, arg1).
arc(r_0463_0005__holding, r_0463_0001__He, arg0).
arc(r_0463_0005__holding, r_0463_0006__it, arg1).
arc(r_0463_0005__holding, r_0463_0007__up, clr19).
arc(r_0463_0005__holding, r_0463_0009__the_r_0463_0010__light, r_0463_0008__to_nim25).
arc(z_000_463_a_dick_1952_12, r_0463_0002__examined, scope).
arc(z_000_463_a_dick_1952_12, r_0463_0005__holding, restriction).


%3 z_000_463_a_dick_1952_12 r_0463_0005__holding holding z_000_463_a_dick_1952_12->r_0463_0005__holding [conj1] r_0463_0002__examined examined z_000_463_a_dick_1952_12->r_0463_0002__examined [conj2] r_0463_0009__the_r_0463_0010__light the light r_0463_0005__holding->r_0463_0009__the_r_0463_0010__light to [nim] r_0463_0007__up up r_0463_0005__holding->r_0463_0007__up [clr] r_0463_0006__it it r_0463_0005__holding->r_0463_0006__it [arg1] r_0463_0001__He He r_0463_0005__holding->r_0463_0001__He [arg0] r_0463_0002__examined->r_0463_0001__He [arg0] r_0463_0003__it it r_0463_0002__examined->r_0463_0003__it [arg1] 
fof(formula,axiom,
    ? [R_0463_0001__HE,R_0463_0003__IT,R_0463_0002__EXAMINED,R_0463_0006__IT,R_0463_0007__UP,R_0463_0009__THE_R_0463_0010__LIGHT,R_0463_0005__HOLDING,Z_000_463_A_DICK_1952_12] :
      ( r_0463_0001__He(R_0463_0001__HE)
      & r_0463_0003__it(R_0463_0003__IT)
      & r_0463_0006__it(R_0463_0006__IT)
      & r_0463_0007__up(R_0463_0007__UP)
      & r_0463_0009__the_r_0463_0010__light(R_0463_0009__THE_R_0463_0010__LIGHT)
      & z_000_463_a_dick_1952_12(Z_000_463_A_DICK_1952_12)
      & has_conj1(Z_000_463_A_DICK_1952_12,R_0463_0005__HOLDING)
      & r_0463_0005__holding(R_0463_0005__HOLDING)
      & has_r_0463_0008__to_nim25(R_0463_0005__HOLDING,R_0463_0009__THE_R_0463_0010__LIGHT)
      & has_clr19(R_0463_0005__HOLDING,R_0463_0007__UP)
      & has_arg1(R_0463_0005__HOLDING,R_0463_0006__IT)
      & has_arg0(R_0463_0005__HOLDING,R_0463_0001__HE)
      & has_conj2(Z_000_463_A_DICK_1952_12,R_0463_0002__EXAMINED)
      & r_0463_0002__examined(R_0463_0002__EXAMINED)
      & has_arg1(R_0463_0002__EXAMINED,R_0463_0003__IT)
      & has_arg0(R_0463_0002__EXAMINED,R_0463_0001__HE) ) ).


n463_a_dick_1952 n463_a_dick_1952__1_1_1_1 He n463_a_dick_1952__1_2_1 examined n463_a_dick_1952__1_3_1_1 it n463_a_dick_1952__1_4_1 , n463_a_dick_1952__1_5_1_1_1 holding n463_a_dick_1952__1_5_1_2_1_1 it n463_a_dick_1952__1_5_1_3_1_1 up n463_a_dick_1952__1_5_1_4_1_1 to n463_a_dick_1952__1_5_1_4_2_1_1 the n463_a_dick_1952__1_5_1_4_2_2_1 light n463_a_dick_1952__1_6_1 . n463_a_dick_1952__1 IP-MAT n463_a_dick_1952__1_1 NP-SBJ n463_a_dick_1952__1->n463_a_dick_1952__1_1 n463_a_dick_1952__1_2 VBD;_Tn_ n463_a_dick_1952__1->n463_a_dick_1952__1_2 n463_a_dick_1952__1_3 NP-OB1 n463_a_dick_1952__1->n463_a_dick_1952__1_3 n463_a_dick_1952__1_4 PUNC n463_a_dick_1952__1->n463_a_dick_1952__1_4 n463_a_dick_1952__1_5 PP-SCON n463_a_dick_1952__1->n463_a_dick_1952__1_5 n463_a_dick_1952__1_6 PUNC n463_a_dick_1952__1->n463_a_dick_1952__1_6 n463_a_dick_1952__1_1_1 PRO n463_a_dick_1952__1_1->n463_a_dick_1952__1_1_1 n463_a_dick_1952__1_1_1->n463_a_dick_1952__1_1_1_1 n463_a_dick_1952__1_2->n463_a_dick_1952__1_2_1 n463_a_dick_1952__1_3_1 PRO n463_a_dick_1952__1_3->n463_a_dick_1952__1_3_1 n463_a_dick_1952__1_3_1->n463_a_dick_1952__1_3_1_1 n463_a_dick_1952__1_4->n463_a_dick_1952__1_4_1 n463_a_dick_1952__1_5_1 IP-PPL2 n463_a_dick_1952__1_5->n463_a_dick_1952__1_5_1 n463_a_dick_1952__1_5_1_1 VAG;_Tn.p_ n463_a_dick_1952__1_5_1->n463_a_dick_1952__1_5_1_1 n463_a_dick_1952__1_5_1_2 NP-OB1 n463_a_dick_1952__1_5_1->n463_a_dick_1952__1_5_1_2 n463_a_dick_1952__1_5_1_3 ADVP-CLR n463_a_dick_1952__1_5_1->n463_a_dick_1952__1_5_1_3 n463_a_dick_1952__1_5_1_4 PP-NIM n463_a_dick_1952__1_5_1->n463_a_dick_1952__1_5_1_4 n463_a_dick_1952__1_5_1_1->n463_a_dick_1952__1_5_1_1_1 n463_a_dick_1952__1_5_1_2_1 PRO n463_a_dick_1952__1_5_1_2->n463_a_dick_1952__1_5_1_2_1 n463_a_dick_1952__1_5_1_2_1->n463_a_dick_1952__1_5_1_2_1_1 n463_a_dick_1952__1_5_1_3_1 RP n463_a_dick_1952__1_5_1_3->n463_a_dick_1952__1_5_1_3_1 n463_a_dick_1952__1_5_1_3_1->n463_a_dick_1952__1_5_1_3_1_1 n463_a_dick_1952__1_5_1_4_1 P-ROLE n463_a_dick_1952__1_5_1_4->n463_a_dick_1952__1_5_1_4_1 n463_a_dick_1952__1_5_1_4_2 NP n463_a_dick_1952__1_5_1_4->n463_a_dick_1952__1_5_1_4_2 n463_a_dick_1952__1_5_1_4_1->n463_a_dick_1952__1_5_1_4_1_1 n463_a_dick_1952__1_5_1_4_2_1 D n463_a_dick_1952__1_5_1_4_2->n463_a_dick_1952__1_5_1_4_2_1 n463_a_dick_1952__1_5_1_4_2_2 N n463_a_dick_1952__1_5_1_4_2->n463_a_dick_1952__1_5_1_4_2_2 n463_a_dick_1952__1_5_1_4_2_1->n463_a_dick_1952__1_5_1_4_2_1_1 n463_a_dick_1952__1_5_1_4_2_2->n463_a_dick_1952__1_5_1_4_2_2_1 n463_a_dick_1952__1_6->n463_a_dick_1952__1_6_1 
( (IP-MAT (NP-SBJ;{TANCE} (PRO He;{he}))
          (VBD;_Tn_ examined;{examine})
          (NP-OB1;{SPOOL} (PRO it;{it}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn.p_ holding;{hold[up]})
                            (NP-OB1;{SPOOL} (PRO it;{it}))
                            (ADVP-CLR (RP up;{up}))
                            (PP-NIM (P-ROLE to;{to})
                                    (NP (D the;{the})
                                        (N light;{light})))))
          (PUNC .))
  (ID 463_a_dick_1952))