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_0012__appeared appeared r_0023_0010__a_r_0023_0011__genie a genie r_0023_0012__appeared->r_0023_0010__a_r_0023_0011__genie [arg0] r_0023_0009__and and r_0023_0009__and->r_0023_0012__appeared [conj2] r_0023_0006__burst_r_0023_0007__out burst out r_0023_0009__and->r_0023_0006__burst_r_0023_0007__out [conj1] r_0023_0001__A_r_0023_0002__cloud A cloud r_0023_0006__burst_r_0023_0007__out->r_0023_0001__A_r_0023_0002__cloud [arg0] 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] 
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__1_1_1_1_1_1 A n23_a_genieus__1_1_1_1_2_1 cloud n23_a_genieus__1_1_1_1_3_1_1 of n23_a_genieus__1_1_1_1_3_2_1_1_1 purple n23_a_genieus__1_1_1_1_3_2_2_1 smoke n23_a_genieus__1_1_1_2_1 burst n23_a_genieus__1_1_1_3_1 out n23_a_genieus__1_1_2_1 , n23_a_genieus__1_1_3_1_1 and n23_a_genieus__1_1_3_2_1_1_1 a n23_a_genieus__1_1_3_2_1_2_1 genie n23_a_genieus__1_1_3_2_2_1 appeared n23_a_genieus__1_2_1 . n23_a_genieus__1 IP-MAT n23_a_genieus__1_1 ILYR n23_a_genieus__1->n23_a_genieus__1_1 n23_a_genieus__1_2 PUNC n23_a_genieus__1->n23_a_genieus__1_2 n23_a_genieus__1_1_1 ILYR n23_a_genieus__1_1->n23_a_genieus__1_1_1 n23_a_genieus__1_1_2 PUNC n23_a_genieus__1_1->n23_a_genieus__1_1_2 n23_a_genieus__1_1_3 CONJP n23_a_genieus__1_1->n23_a_genieus__1_1_3 n23_a_genieus__1_1_1_1 NP-SBJ n23_a_genieus__1_1_1->n23_a_genieus__1_1_1_1 n23_a_genieus__1_1_1_2 VBD;_phr_Vp_ n23_a_genieus__1_1_1->n23_a_genieus__1_1_1_2 n23_a_genieus__1_1_1_3 RP n23_a_genieus__1_1_1->n23_a_genieus__1_1_1_3 n23_a_genieus__1_1_1_1_1 D n23_a_genieus__1_1_1_1->n23_a_genieus__1_1_1_1_1 n23_a_genieus__1_1_1_1_2 N n23_a_genieus__1_1_1_1->n23_a_genieus__1_1_1_1_2 n23_a_genieus__1_1_1_1_3 PP n23_a_genieus__1_1_1_1->n23_a_genieus__1_1_1_1_3 n23_a_genieus__1_1_1_1_1->n23_a_genieus__1_1_1_1_1_1 n23_a_genieus__1_1_1_1_2->n23_a_genieus__1_1_1_1_2_1 n23_a_genieus__1_1_1_1_3_1 P-ROLE n23_a_genieus__1_1_1_1_3->n23_a_genieus__1_1_1_1_3_1 n23_a_genieus__1_1_1_1_3_2 NP n23_a_genieus__1_1_1_1_3->n23_a_genieus__1_1_1_1_3_2 n23_a_genieus__1_1_1_1_3_1->n23_a_genieus__1_1_1_1_3_1_1 n23_a_genieus__1_1_1_1_3_2_1 ADJP n23_a_genieus__1_1_1_1_3_2->n23_a_genieus__1_1_1_1_3_2_1 n23_a_genieus__1_1_1_1_3_2_2 N n23_a_genieus__1_1_1_1_3_2->n23_a_genieus__1_1_1_1_3_2_2 n23_a_genieus__1_1_1_1_3_2_1_1 ADJ n23_a_genieus__1_1_1_1_3_2_1->n23_a_genieus__1_1_1_1_3_2_1_1 n23_a_genieus__1_1_1_1_3_2_1_1->n23_a_genieus__1_1_1_1_3_2_1_1_1 n23_a_genieus__1_1_1_1_3_2_2->n23_a_genieus__1_1_1_1_3_2_2_1 n23_a_genieus__1_1_1_2->n23_a_genieus__1_1_1_2_1 n23_a_genieus__1_1_1_3->n23_a_genieus__1_1_1_3_1 n23_a_genieus__1_1_2->n23_a_genieus__1_1_2_1 n23_a_genieus__1_1_3_1 CONJ n23_a_genieus__1_1_3->n23_a_genieus__1_1_3_1 n23_a_genieus__1_1_3_2 ILYR n23_a_genieus__1_1_3->n23_a_genieus__1_1_3_2 n23_a_genieus__1_1_3_1->n23_a_genieus__1_1_3_1_1 n23_a_genieus__1_1_3_2_1 NP-SBJ n23_a_genieus__1_1_3_2->n23_a_genieus__1_1_3_2_1 n23_a_genieus__1_1_3_2_2 VBD;_I_ n23_a_genieus__1_1_3_2->n23_a_genieus__1_1_3_2_2 n23_a_genieus__1_1_3_2_1_1 D n23_a_genieus__1_1_3_2_1->n23_a_genieus__1_1_3_2_1_1 n23_a_genieus__1_1_3_2_1_2 N n23_a_genieus__1_1_3_2_1->n23_a_genieus__1_1_3_2_1_2 n23_a_genieus__1_1_3_2_1_1->n23_a_genieus__1_1_3_2_1_1_1 n23_a_genieus__1_1_3_2_1_2->n23_a_genieus__1_1_3_2_1_2_1 n23_a_genieus__1_1_3_2_2->n23_a_genieus__1_1_3_2_2_1 n23_a_genieus__1_2->n23_a_genieus__1_2_1 
( (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))