Context                Previous, Next                Top


39_a_genieus
Tall and handsome, and magic, too!

%3 r_0039_0002__and and r_0039_0001__Tall Tall r_0039_0002__and->r_0039_0001__Tall [conj1] r_0039_0003__handsome handsome r_0039_0002__and->r_0039_0003__handsome [conj2] r_0039_0005__and and z_000_39_a_genieus_20 r_0039_0005__and->z_000_39_a_genieus_20 [conj2] z_000_39_a_genieus_3 r_0039_0005__and->z_000_39_a_genieus_3 [conj1] r_0039_0006__magic magic z_000_39_a_genieus_20->r_0039_0006__magic [prd] r_0039_0008__too too z_000_39_a_genieus_20->r_0039_0008__too [nim] z_000_39_a_genieus_3->r_0039_0002__and [prd] 
arc(r_0039_0002__and, r_0039_0001__Tall, conj1).
arc(r_0039_0002__and, r_0039_0003__handsome, conj2).
arc(r_0039_0005__and, z_000_39_a_genieus_20, conj2).
arc(r_0039_0005__and, z_000_39_a_genieus_3, conj1).
arc(z_000_39_a_genieus_20, r_0039_0006__magic, prd).
arc(z_000_39_a_genieus_20, r_0039_0008__too, nim26).
arc(z_000_39_a_genieus_3, r_0039_0002__and, prd).


%3 r_0039_0002__and and r_0039_0001__Tall Tall r_0039_0002__and->r_0039_0001__Tall [conj1] r_0039_0003__handsome handsome r_0039_0002__and->r_0039_0003__handsome [conj2] r_0039_0005__and and z_000_39_a_genieus_20 r_0039_0005__and->z_000_39_a_genieus_20 [conj2] z_000_39_a_genieus_3 r_0039_0005__and->z_000_39_a_genieus_3 [conj1] r_0039_0006__magic magic z_000_39_a_genieus_20->r_0039_0006__magic [prd] r_0039_0008__too too z_000_39_a_genieus_20->r_0039_0008__too [nim] z_000_39_a_genieus_3->r_0039_0002__and [prd] 
fof(formula,axiom,
    ? [R_39_5_AND,Z_39_A_GENIEUS_3,R_39_2_AND,R_39_1_TALL,R_39_3_HANDSOME,Z_39_A_GENIEUS_20,R_39_8_TOO,R_39_6_MAGIC] :
      ( tall(R_39_1_TALL)
      & handsome(R_39_3_HANDSOME)
      & too(R_39_8_TOO)
      & magic(R_39_6_MAGIC)
      & and(R_39_5_AND)
      & conj1(R_39_5_AND,Z_39_A_GENIEUS_3)
      & z_39_a_genieus_3(Z_39_A_GENIEUS_3)
      & prd(Z_39_A_GENIEUS_3,R_39_2_AND)
      & and(R_39_2_AND)
      & conj1(R_39_2_AND,R_39_1_TALL)
      & conj2(R_39_2_AND,R_39_3_HANDSOME)
      & conj2(R_39_5_AND,Z_39_A_GENIEUS_20)
      & z_39_a_genieus_20(Z_39_A_GENIEUS_20)
      & nim26(Z_39_A_GENIEUS_20,R_39_8_TOO)
      & prd(Z_39_A_GENIEUS_20,R_39_6_MAGIC) ) ).


n39_a_genieus n39_a_genieus_8 Tall n39_a_genieus_11 and n39_a_genieus_14 handsome n39_a_genieus_16 , n39_a_genieus_19 and n39_a_genieus_23 magic n39_a_genieus_25 , n39_a_genieus_28 too n39_a_genieus_30 ! n39_a_genieus_1 FRAG n39_a_genieus_2 ILYR n39_a_genieus_1->n39_a_genieus_2 n39_a_genieus_29 PUNC n39_a_genieus_1->n39_a_genieus_29 n39_a_genieus_3 ILYR n39_a_genieus_2->n39_a_genieus_3 n39_a_genieus_15 PUNC n39_a_genieus_2->n39_a_genieus_15 n39_a_genieus_17 CONJP n39_a_genieus_2->n39_a_genieus_17 n39_a_genieus_4 ADJP-PRD n39_a_genieus_3->n39_a_genieus_4 n39_a_genieus_5 AJLYR n39_a_genieus_4->n39_a_genieus_5 n39_a_genieus_6 AJLYR n39_a_genieus_5->n39_a_genieus_6 n39_a_genieus_9 CONJP n39_a_genieus_5->n39_a_genieus_9 n39_a_genieus_7 ADJ n39_a_genieus_6->n39_a_genieus_7 n39_a_genieus_7->n39_a_genieus_8 n39_a_genieus_10 CONJ n39_a_genieus_9->n39_a_genieus_10 n39_a_genieus_12 AJLYR n39_a_genieus_9->n39_a_genieus_12 n39_a_genieus_10->n39_a_genieus_11 n39_a_genieus_13 ADJ n39_a_genieus_12->n39_a_genieus_13 n39_a_genieus_13->n39_a_genieus_14 n39_a_genieus_15->n39_a_genieus_16 n39_a_genieus_18 CONJ n39_a_genieus_17->n39_a_genieus_18 n39_a_genieus_20 ILYR n39_a_genieus_17->n39_a_genieus_20 n39_a_genieus_18->n39_a_genieus_19 n39_a_genieus_21 NP-PRD n39_a_genieus_20->n39_a_genieus_21 n39_a_genieus_24 PUNC n39_a_genieus_20->n39_a_genieus_24 n39_a_genieus_26 ADVP-NIM n39_a_genieus_20->n39_a_genieus_26 n39_a_genieus_22 N n39_a_genieus_21->n39_a_genieus_22 n39_a_genieus_22->n39_a_genieus_23 n39_a_genieus_24->n39_a_genieus_25 n39_a_genieus_27 ADV n39_a_genieus_26->n39_a_genieus_27 n39_a_genieus_27->n39_a_genieus_28 n39_a_genieus_29->n39_a_genieus_30 
( (FRAG (ILYR (ILYR (ADJP-PRD (AJLYR (AJLYR (ADJ Tall;{tall}))
                                     (CONJP (CONJ and;{and})
                                            (AJLYR (ADJ handsome;{handsome}))))))
              (PUNC ,)
              (CONJP (CONJ and;{and})
                     (ILYR (NP-PRD (N magic;{magic}))
                           (PUNC ,)
                           (ADVP-NIM (ADV too;{too})))))
        (PUNC !))
  (ID 39_a_genieus))