Context                Previous, Next                Top


23_a_genieus
A cloud of purple smoke burst out, and a genie appeared.

%3 r_0023_0001__A_r_0023_0002__cloud A cloud r_0023_0005__smoke smoke r_0023_0001__A_r_0023_0002__cloud->r_0023_0005__smoke of r_0023_0004__purple purple r_0023_0005__smoke->r_0023_0004__purple [attrib] r_0023_0006__burst_r_0023_0007__out burst out r_0023_0006__burst_r_0023_0007__out->r_0023_0001__A_r_0023_0002__cloud [arg0] r_0023_0009__and and r_0023_0009__and->r_0023_0006__burst_r_0023_0007__out [conj1] r_0023_0012__appeared appeared r_0023_0009__and->r_0023_0012__appeared [conj2] r_0023_0010__a_r_0023_0011__genie a genie r_0023_0012__appeared->r_0023_0010__a_r_0023_0011__genie [arg0] 
arc(r_0023_0001__A_r_0023_0002__cloud, r_0023_0005__smoke, r_0023_0003__of).
arc(r_0023_0005__smoke, r_0023_0004__purple, attrib13).
arc(r_0023_0006__burst_r_0023_0007__out, r_0023_0001__A_r_0023_0002__cloud, arg0).
arc(r_0023_0009__and, r_0023_0006__burst_r_0023_0007__out, conj1).
arc(r_0023_0009__and, r_0023_0012__appeared, conj2).
arc(r_0023_0012__appeared, r_0023_0010__a_r_0023_0011__genie, arg0).


%3 r_0023_0001__A_r_0023_0002__cloud A cloud r_0023_0005__smoke smoke r_0023_0001__A_r_0023_0002__cloud->r_0023_0005__smoke of r_0023_0004__purple purple r_0023_0005__smoke->r_0023_0004__purple [attrib] r_0023_0006__burst_r_0023_0007__out burst out r_0023_0006__burst_r_0023_0007__out->r_0023_0001__A_r_0023_0002__cloud [arg0] r_0023_0009__and and r_0023_0009__and->r_0023_0006__burst_r_0023_0007__out [conj1] r_0023_0012__appeared appeared r_0023_0009__and->r_0023_0012__appeared [conj2] r_0023_0010__a_r_0023_0011__genie a genie r_0023_0012__appeared->r_0023_0010__a_r_0023_0011__genie [arg0] 
fof(formula,axiom,
    ? [R_23_9_AND,R_23_6_BURST_OUT,R_23_1_A_CLOUD,R_23_5_SMOKE,R_23_4_PURPLE,R_23_12_APPEARED,R_23_10_A_GENIE] :
      ( purple(R_23_4_PURPLE)
      & a_genie(R_23_10_A_GENIE)
      & and(R_23_9_AND)
      & conj1(R_23_9_AND,R_23_6_BURST_OUT)
      & burst_out(R_23_6_BURST_OUT,R_23_1_A_CLOUD)
      & a_cloud(R_23_1_A_CLOUD)
      & of(R_23_1_A_CLOUD,R_23_5_SMOKE)
      & smoke(R_23_5_SMOKE)
      & attrib13(R_23_5_SMOKE,R_23_4_PURPLE)
      & conj2(R_23_9_AND,R_23_12_APPEARED)
      & appeared(R_23_12_APPEARED,R_23_10_A_GENIE) ) ).


n23_a_genieus n23_a_genieus_6 A n23_a_genieus_8 cloud n23_a_genieus_11 of n23_a_genieus_15 purple n23_a_genieus_17 smoke n23_a_genieus_19 burst n23_a_genieus_21 out n23_a_genieus_23 , n23_a_genieus_26 and n23_a_genieus_30 a n23_a_genieus_32 genie n23_a_genieus_34 appeared n23_a_genieus_36 . n23_a_genieus_1 IP-MAT n23_a_genieus_2 ILYR n23_a_genieus_1->n23_a_genieus_2 n23_a_genieus_35 PUNC n23_a_genieus_1->n23_a_genieus_35 n23_a_genieus_3 ILYR n23_a_genieus_2->n23_a_genieus_3 n23_a_genieus_22 PUNC n23_a_genieus_2->n23_a_genieus_22 n23_a_genieus_24 CONJP n23_a_genieus_2->n23_a_genieus_24 n23_a_genieus_4 NP-SBJ n23_a_genieus_3->n23_a_genieus_4 n23_a_genieus_18 VBD;_phr_Vp_ n23_a_genieus_3->n23_a_genieus_18 n23_a_genieus_20 RP n23_a_genieus_3->n23_a_genieus_20 n23_a_genieus_5 D n23_a_genieus_4->n23_a_genieus_5 n23_a_genieus_7 N n23_a_genieus_4->n23_a_genieus_7 n23_a_genieus_9 PP n23_a_genieus_4->n23_a_genieus_9 n23_a_genieus_5->n23_a_genieus_6 n23_a_genieus_7->n23_a_genieus_8 n23_a_genieus_10 P-ROLE n23_a_genieus_9->n23_a_genieus_10 n23_a_genieus_12 NP n23_a_genieus_9->n23_a_genieus_12 n23_a_genieus_10->n23_a_genieus_11 n23_a_genieus_13 ADJP n23_a_genieus_12->n23_a_genieus_13 n23_a_genieus_16 N n23_a_genieus_12->n23_a_genieus_16 n23_a_genieus_14 ADJ n23_a_genieus_13->n23_a_genieus_14 n23_a_genieus_14->n23_a_genieus_15 n23_a_genieus_16->n23_a_genieus_17 n23_a_genieus_18->n23_a_genieus_19 n23_a_genieus_20->n23_a_genieus_21 n23_a_genieus_22->n23_a_genieus_23 n23_a_genieus_25 CONJ n23_a_genieus_24->n23_a_genieus_25 n23_a_genieus_27 ILYR n23_a_genieus_24->n23_a_genieus_27 n23_a_genieus_25->n23_a_genieus_26 n23_a_genieus_28 NP-SBJ n23_a_genieus_27->n23_a_genieus_28 n23_a_genieus_33 VBD;_I_ n23_a_genieus_27->n23_a_genieus_33 n23_a_genieus_29 D n23_a_genieus_28->n23_a_genieus_29 n23_a_genieus_31 N n23_a_genieus_28->n23_a_genieus_31 n23_a_genieus_29->n23_a_genieus_30 n23_a_genieus_31->n23_a_genieus_32 n23_a_genieus_33->n23_a_genieus_34 n23_a_genieus_35->n23_a_genieus_36 
( (IP-MAT (ILYR (ILYR (NP-SBJ (D A;{a})
                              (N cloud;{cloud})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ purple;{purple}))
                                      (N smoke;{smoke}))))
                      (VBD;_phr_Vp_ burst;{burst[out]})
                      (RP out;{out}))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{GENIE} (D a;{a})
                                             (N genie;{genie}))
                             (VBD;_I_ appeared;{appear}))))
          (PUNC .))
  (ID 23_a_genieus))