30_a_genieus
And with another puff of smoke, the young man vanished into the lamp.
( (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 30_a_genieus))
arc(r_0030_0003__another_r_0030_0004__puff,r_0030_0006__smoke,r_0030_0005__of).
arc(r_0030_0008__the_r_0030_0010__man,r_0030_0009__young,attrib).
arc(r_0030_0011__vanished_r_0030_0012__into,r_0030_0003__another_r_0030_0004__puff,r_0030_0002__with__nim).
arc(r_0030_0011__vanished_r_0030_0012__into,r_0030_0008__the_r_0030_0010__man,arg0).
arc(r_0030_0011__vanished_r_0030_0012__into,r_0030_0013__the_r_0030_0014__lamp,arg1).
fof(formula,axiom,
? [R_0030_0006__SMOKE,R_0030_0003__ANOTHER_R_0030_0004__PUFF,R_0030_0009__YOUNG,R_0030_0008__THE_R_0030_0010__MAN,R_0030_0013__THE_R_0030_0014__LAMP,R_0030_0011__VANISHED_R_0030_0012__INTO] :
( r_0030_0006__smoke(R_0030_0006__SMOKE)
& r_0030_0009__young(R_0030_0009__YOUNG)
& r_0030_0013__the_r_0030_0014__lamp(R_0030_0013__THE_R_0030_0014__LAMP)
& r_0030_0011__vanished_r_0030_0012__into(R_0030_0011__VANISHED_R_0030_0012__INTO)
& has_arg1(R_0030_0011__VANISHED_R_0030_0012__INTO,R_0030_0013__THE_R_0030_0014__LAMP)
& has_arg0(R_0030_0011__VANISHED_R_0030_0012__INTO,R_0030_0008__THE_R_0030_0010__MAN)
& r_0030_0008__the_r_0030_0010__man(R_0030_0008__THE_R_0030_0010__MAN)
& has_attrib(R_0030_0008__THE_R_0030_0010__MAN,R_0030_0009__YOUNG)
& has_r_0030_0002__with__nim(R_0030_0011__VANISHED_R_0030_0012__INTO,R_0030_0003__ANOTHER_R_0030_0004__PUFF)
& r_0030_0003__another_r_0030_0004__puff(R_0030_0003__ANOTHER_R_0030_0004__PUFF)
& has_r_0030_0005__of(R_0030_0003__ANOTHER_R_0030_0004__PUFF,R_0030_0006__SMOKE) ) ).