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_0008__the_r_0032_0010__man the man r_0032_0009__young young r_0032_0008__the_r_0032_0010__man->r_0032_0009__young [attrib] r_0032_0003__another_r_0032_0004__puff another puff r_0032_0006__smoke smoke r_0032_0003__another_r_0032_0004__puff->r_0032_0006__smoke of r_0032_0001__And_r_0032_0011__vanished And vanished r_0032_0001__And_r_0032_0011__vanished->r_0032_0008__the_r_0032_0010__man [arg0] r_0032_0001__And_r_0032_0011__vanished->r_0032_0003__another_r_0032_0004__puff with [nim] 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] 
fof(formula,axiom,
    ? [R_0032_0006__SMOKE,R_0032_0003__ANOTHER_R_0032_0004__PUFF,R_0032_0009__YOUNG,R_0032_0008__THE_R_0032_0010__MAN,R_0032_0013__THE_R_0032_0014__LAMP,R_0032_0001__AND_R_0032_0011__VANISHED] :
      ( r_0032_0006__smoke(R_0032_0006__SMOKE)
      & r_0032_0009__young(R_0032_0009__YOUNG)
      & r_0032_0013__the_r_0032_0014__lamp(R_0032_0013__THE_R_0032_0014__LAMP)
      & r_0032_0001__And_r_0032_0011__vanished(R_0032_0001__AND_R_0032_0011__VANISHED)
      & has_r_0032_0012__into_clr33(R_0032_0001__AND_R_0032_0011__VANISHED,R_0032_0013__THE_R_0032_0014__LAMP)
      & has_arg0(R_0032_0001__AND_R_0032_0011__VANISHED,R_0032_0008__THE_R_0032_0010__MAN)
      & r_0032_0008__the_r_0032_0010__man(R_0032_0008__THE_R_0032_0010__MAN)
      & has_attrib23(R_0032_0008__THE_R_0032_0010__MAN,R_0032_0009__YOUNG)
      & has_r_0032_0002__with_nim7(R_0032_0001__AND_R_0032_0011__VANISHED,R_0032_0003__ANOTHER_R_0032_0004__PUFF)
      & r_0032_0003__another_r_0032_0004__puff(R_0032_0003__ANOTHER_R_0032_0004__PUFF)
      & has_r_0032_0005__of(R_0032_0003__ANOTHER_R_0032_0004__PUFF,R_0032_0006__SMOKE) ) ).


n32_a_genieus n32_a_genieus__1_1_1 And n32_a_genieus__1_2_1_1 with n32_a_genieus__1_2_2_1_1 another n32_a_genieus__1_2_2_2_1 puff n32_a_genieus__1_2_2_3_1_1 of n32_a_genieus__1_2_2_3_2_1_1 smoke n32_a_genieus__1_3_1 , n32_a_genieus__1_4_1_1 the n32_a_genieus__1_4_2_1_1 young n32_a_genieus__1_4_3_1 man n32_a_genieus__1_5_1 vanished n32_a_genieus__1_6_1_1 into n32_a_genieus__1_6_2_1_1 the n32_a_genieus__1_6_2_2_1 lamp n32_a_genieus__1_7_1 . n32_a_genieus__1 IP-MAT n32_a_genieus__1_1 CONJ;_cl_ n32_a_genieus__1->n32_a_genieus__1_1 n32_a_genieus__1_2 PP-NIM n32_a_genieus__1->n32_a_genieus__1_2 n32_a_genieus__1_3 PUNC n32_a_genieus__1->n32_a_genieus__1_3 n32_a_genieus__1_4 NP-SBJ n32_a_genieus__1->n32_a_genieus__1_4 n32_a_genieus__1_5 VBD;_Ipr_ n32_a_genieus__1->n32_a_genieus__1_5 n32_a_genieus__1_6 PP-CLR n32_a_genieus__1->n32_a_genieus__1_6 n32_a_genieus__1_7 PUNC n32_a_genieus__1->n32_a_genieus__1_7 n32_a_genieus__1_1->n32_a_genieus__1_1_1 n32_a_genieus__1_2_1 P-ROLE n32_a_genieus__1_2->n32_a_genieus__1_2_1 n32_a_genieus__1_2_2 NP n32_a_genieus__1_2->n32_a_genieus__1_2_2 n32_a_genieus__1_2_1->n32_a_genieus__1_2_1_1 n32_a_genieus__1_2_2_1 D n32_a_genieus__1_2_2->n32_a_genieus__1_2_2_1 n32_a_genieus__1_2_2_2 N n32_a_genieus__1_2_2->n32_a_genieus__1_2_2_2 n32_a_genieus__1_2_2_3 PP n32_a_genieus__1_2_2->n32_a_genieus__1_2_2_3 n32_a_genieus__1_2_2_1->n32_a_genieus__1_2_2_1_1 n32_a_genieus__1_2_2_2->n32_a_genieus__1_2_2_2_1 n32_a_genieus__1_2_2_3_1 P-ROLE n32_a_genieus__1_2_2_3->n32_a_genieus__1_2_2_3_1 n32_a_genieus__1_2_2_3_2 NP n32_a_genieus__1_2_2_3->n32_a_genieus__1_2_2_3_2 n32_a_genieus__1_2_2_3_1->n32_a_genieus__1_2_2_3_1_1 n32_a_genieus__1_2_2_3_2_1 N n32_a_genieus__1_2_2_3_2->n32_a_genieus__1_2_2_3_2_1 n32_a_genieus__1_2_2_3_2_1->n32_a_genieus__1_2_2_3_2_1_1 n32_a_genieus__1_3->n32_a_genieus__1_3_1 n32_a_genieus__1_4_1 D n32_a_genieus__1_4->n32_a_genieus__1_4_1 n32_a_genieus__1_4_2 ADJP n32_a_genieus__1_4->n32_a_genieus__1_4_2 n32_a_genieus__1_4_3 N n32_a_genieus__1_4->n32_a_genieus__1_4_3 n32_a_genieus__1_4_1->n32_a_genieus__1_4_1_1 n32_a_genieus__1_4_2_1 ADJ n32_a_genieus__1_4_2->n32_a_genieus__1_4_2_1 n32_a_genieus__1_4_2_1->n32_a_genieus__1_4_2_1_1 n32_a_genieus__1_4_3->n32_a_genieus__1_4_3_1 n32_a_genieus__1_5->n32_a_genieus__1_5_1 n32_a_genieus__1_6_1 P-ROLE n32_a_genieus__1_6->n32_a_genieus__1_6_1 n32_a_genieus__1_6_2 NP n32_a_genieus__1_6->n32_a_genieus__1_6_2 n32_a_genieus__1_6_1->n32_a_genieus__1_6_1_1 n32_a_genieus__1_6_2_1 D n32_a_genieus__1_6_2->n32_a_genieus__1_6_2_1 n32_a_genieus__1_6_2_2 N n32_a_genieus__1_6_2->n32_a_genieus__1_6_2_2 n32_a_genieus__1_6_2_1->n32_a_genieus__1_6_2_1_1 n32_a_genieus__1_6_2_2->n32_a_genieus__1_6_2_2_1 n32_a_genieus__1_7->n32_a_genieus__1_7_1 
( (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))