Context                Previous, Next                Top


32_a_genieus
And with another puff of smoke, the young man vanished into the lamp.

%3 r_0032_0001__And_r_0032_0011__vanished And vanished r_0032_0003__another_r_0032_0004__puff another puff r_0032_0001__And_r_0032_0011__vanished->r_0032_0003__another_r_0032_0004__puff with [nim] r_0032_0008__the_r_0032_0010__man the man r_0032_0001__And_r_0032_0011__vanished->r_0032_0008__the_r_0032_0010__man [arg0] r_0032_0013__the_r_0032_0014__lamp the lamp r_0032_0001__And_r_0032_0011__vanished->r_0032_0013__the_r_0032_0014__lamp into [clr] r_0032_0006__smoke smoke r_0032_0003__another_r_0032_0004__puff->r_0032_0006__smoke of r_0032_0009__young young r_0032_0008__the_r_0032_0010__man->r_0032_0009__young [attrib] 
arc(r_0032_0001__And_r_0032_0011__vanished, r_0032_0003__another_r_0032_0004__puff, r_0032_0002__with_nim7).
arc(r_0032_0001__And_r_0032_0011__vanished, r_0032_0008__the_r_0032_0010__man, arg0).
arc(r_0032_0001__And_r_0032_0011__vanished, r_0032_0013__the_r_0032_0014__lamp, r_0032_0012__into_clr33).
arc(r_0032_0003__another_r_0032_0004__puff, r_0032_0006__smoke, r_0032_0005__of).
arc(r_0032_0008__the_r_0032_0010__man, r_0032_0009__young, attrib23).


%3 r_0032_0001__And_r_0032_0011__vanished And vanished r_0032_0003__another_r_0032_0004__puff another puff r_0032_0001__And_r_0032_0011__vanished->r_0032_0003__another_r_0032_0004__puff with [nim] r_0032_0008__the_r_0032_0010__man the man r_0032_0001__And_r_0032_0011__vanished->r_0032_0008__the_r_0032_0010__man [arg0] r_0032_0013__the_r_0032_0014__lamp the lamp r_0032_0001__And_r_0032_0011__vanished->r_0032_0013__the_r_0032_0014__lamp into [clr] r_0032_0006__smoke smoke r_0032_0003__another_r_0032_0004__puff->r_0032_0006__smoke of r_0032_0009__young young r_0032_0008__the_r_0032_0010__man->r_0032_0009__young [attrib] 
fof(formula,axiom,
    ? [R_32_1_AND_VANISHED,R_32_8_THE_MAN,R_32_9_YOUNG,R_32_3_ANOTHER_PUFF,R_32_6_SMOKE,R_32_13_THE_LAMP] :
      ( young(R_32_9_YOUNG)
      & smoke(R_32_6_SMOKE)
      & the_lamp(R_32_13_THE_LAMP)
      & and_vanished(R_32_1_AND_VANISHED,R_32_8_THE_MAN)
      & the_man(R_32_8_THE_MAN)
      & attrib23(R_32_8_THE_MAN,R_32_9_YOUNG)
      & with_nim7(R_32_1_AND_VANISHED,R_32_3_ANOTHER_PUFF)
      & another_puff(R_32_3_ANOTHER_PUFF)
      & of(R_32_3_ANOTHER_PUFF,R_32_6_SMOKE)
      & into_clr33(R_32_1_AND_VANISHED,R_32_13_THE_LAMP) ) ).


n32_a_genieus n32_a_genieus_3 And n32_a_genieus_6 with n32_a_genieus_9 another n32_a_genieus_11 puff n32_a_genieus_14 of n32_a_genieus_17 smoke n32_a_genieus_19 , n32_a_genieus_22 the n32_a_genieus_25 young n32_a_genieus_27 man n32_a_genieus_29 vanished n32_a_genieus_32 into n32_a_genieus_35 the n32_a_genieus_37 lamp n32_a_genieus_39 . n32_a_genieus_1 IP-MAT n32_a_genieus_2 CONJ;_cl_ n32_a_genieus_1->n32_a_genieus_2 n32_a_genieus_4 PP-NIM n32_a_genieus_1->n32_a_genieus_4 n32_a_genieus_18 PUNC n32_a_genieus_1->n32_a_genieus_18 n32_a_genieus_20 NP-SBJ n32_a_genieus_1->n32_a_genieus_20 n32_a_genieus_28 VBD;_Ipr_ n32_a_genieus_1->n32_a_genieus_28 n32_a_genieus_30 PP-CLR n32_a_genieus_1->n32_a_genieus_30 n32_a_genieus_38 PUNC n32_a_genieus_1->n32_a_genieus_38 n32_a_genieus_2->n32_a_genieus_3 n32_a_genieus_5 P-ROLE n32_a_genieus_4->n32_a_genieus_5 n32_a_genieus_7 NP n32_a_genieus_4->n32_a_genieus_7 n32_a_genieus_5->n32_a_genieus_6 n32_a_genieus_8 D n32_a_genieus_7->n32_a_genieus_8 n32_a_genieus_10 N n32_a_genieus_7->n32_a_genieus_10 n32_a_genieus_12 PP n32_a_genieus_7->n32_a_genieus_12 n32_a_genieus_8->n32_a_genieus_9 n32_a_genieus_10->n32_a_genieus_11 n32_a_genieus_13 P-ROLE n32_a_genieus_12->n32_a_genieus_13 n32_a_genieus_15 NP n32_a_genieus_12->n32_a_genieus_15 n32_a_genieus_13->n32_a_genieus_14 n32_a_genieus_16 N n32_a_genieus_15->n32_a_genieus_16 n32_a_genieus_16->n32_a_genieus_17 n32_a_genieus_18->n32_a_genieus_19 n32_a_genieus_21 D n32_a_genieus_20->n32_a_genieus_21 n32_a_genieus_23 ADJP n32_a_genieus_20->n32_a_genieus_23 n32_a_genieus_26 N n32_a_genieus_20->n32_a_genieus_26 n32_a_genieus_21->n32_a_genieus_22 n32_a_genieus_24 ADJ n32_a_genieus_23->n32_a_genieus_24 n32_a_genieus_24->n32_a_genieus_25 n32_a_genieus_26->n32_a_genieus_27 n32_a_genieus_28->n32_a_genieus_29 n32_a_genieus_31 P-ROLE n32_a_genieus_30->n32_a_genieus_31 n32_a_genieus_33 NP n32_a_genieus_30->n32_a_genieus_33 n32_a_genieus_31->n32_a_genieus_32 n32_a_genieus_34 D n32_a_genieus_33->n32_a_genieus_34 n32_a_genieus_36 N n32_a_genieus_33->n32_a_genieus_36 n32_a_genieus_34->n32_a_genieus_35 n32_a_genieus_36->n32_a_genieus_37 n32_a_genieus_38->n32_a_genieus_39 
( (IP-MAT (CONJ;_cl_ And;{and})
          (PP-NIM (P-ROLE with;{with})
                  (NP (D another;{another})
                      (N puff;{puff})
                      (PP (P-ROLE of;{of})
                          (NP (N smoke;{smoke})))))
          (PUNC ,)
          (NP-SBJ;{YOUNG_MAN} (D the;{the})
                              (ADJP (ADJ young;{young}))
                              (N man;{man}))
          (VBD;_Ipr_ vanished;{vanish[into]})
          (PP-CLR (P-ROLE into;{into})
                  (NP (D the;{the})
                      (N lamp;{lamp})))
          (PUNC .))
  (ID 32_a_genieus))