Context                Previous, Next                Top


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

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))


%3 z_0463_5001 r_0463_0005__holding_r_0463_0007__up holding up z_0463_5001->r_0463_0005__holding_r_0463_0007__up [restriction] r_0463_0002__examined examined z_0463_5001->r_0463_0002__examined [scope] r_0463_0009__the_r_0463_0010__light the light r_0463_0005__holding_r_0463_0007__up->r_0463_0009__the_r_0463_0010__light to [nim] r_0463_0003__it it r_0463_0005__holding_r_0463_0007__up->r_0463_0003__it [arg1] r_0463_0001__He He r_0463_0005__holding_r_0463_0007__up->r_0463_0001__He [arg0] r_0463_0002__examined->r_0463_0003__it [arg1] r_0463_0002__examined->r_0463_0001__He [arg0] 
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_0007__up,r_0463_0001__He,arg0).
arc(r_0463_0005__holding_r_0463_0007__up,r_0463_0003__it,arg1).
arc(r_0463_0005__holding_r_0463_0007__up,r_0463_0009__the_r_0463_0010__light,r_0463_0008__to__nim).
arc(z_0463_5001,r_0463_0002__examined,scope).
arc(z_0463_5001,r_0463_0005__holding_r_0463_0007__up,restriction).


%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_r_0463_0007__up holding up r_0463_0005__holding_r_0463_0007__up->r_0463_0001__He [arg0] r_0463_0005__holding_r_0463_0007__up->r_0463_0003__it [arg1] r_0463_0009__the_r_0463_0010__light the light r_0463_0005__holding_r_0463_0007__up->r_0463_0009__the_r_0463_0010__light to [nim] z_0463_5001 z_0463_5001->r_0463_0002__examined [conj2] z_0463_5001->r_0463_0005__holding_r_0463_0007__up [conj1] 
fof(formula,axiom,
    ? [R_0463_0001__HE,R_0463_0003__IT,R_0463_0002__EXAMINED,R_0463_0009__THE_R_0463_0010__LIGHT,R_0463_0005__HOLDING_R_0463_0007__UP,Z_0463_5001] :
      ( r_0463_0001__He(R_0463_0001__HE)
      & r_0463_0003__it(R_0463_0003__IT)
      & r_0463_0009__the_r_0463_0010__light(R_0463_0009__THE_R_0463_0010__LIGHT)
      & z_0463_5001(Z_0463_5001)
      & has_conj1(Z_0463_5001,R_0463_0005__HOLDING_R_0463_0007__UP)
      & r_0463_0005__holding_r_0463_0007__up(R_0463_0005__HOLDING_R_0463_0007__UP)
      & has_r_0463_0008__to__nim(R_0463_0005__HOLDING_R_0463_0007__UP,R_0463_0009__THE_R_0463_0010__LIGHT)
      & has_arg1(R_0463_0005__HOLDING_R_0463_0007__UP,R_0463_0003__IT)
      & has_arg0(R_0463_0005__HOLDING_R_0463_0007__UP,R_0463_0001__HE)
      & has_conj2(Z_0463_5001,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) ) ).