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 z_000_39_a_genieus_3 r_0039_0002__and and z_000_39_a_genieus_3->r_0039_0002__and [prd] r_0039_0003__handsome handsome r_0039_0002__and->r_0039_0003__handsome [conj2] r_0039_0001__Tall Tall r_0039_0002__and->r_0039_0001__Tall [conj1] z_000_39_a_genieus_20 r_0039_0008__too too z_000_39_a_genieus_20->r_0039_0008__too [nim] r_0039_0006__magic magic z_000_39_a_genieus_20->r_0039_0006__magic [prd] r_0039_0005__and and r_0039_0005__and->z_000_39_a_genieus_3 [conj1] r_0039_0005__and->z_000_39_a_genieus_20 [conj2] 
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__1_1_1_1_1_1_1_1 Tall n39_a_genieus__1_1_1_1_1_2_1_1 and n39_a_genieus__1_1_1_1_1_2_2_1_1 handsome n39_a_genieus__1_1_2_1 , n39_a_genieus__1_1_3_1_1 and n39_a_genieus__1_1_3_2_1_1_1 magic n39_a_genieus__1_1_3_2_2_1 , n39_a_genieus__1_1_3_2_3_1_1 too n39_a_genieus__1_2_1 ! n39_a_genieus__1 FRAG n39_a_genieus__1_1 ILYR n39_a_genieus__1->n39_a_genieus__1_1 n39_a_genieus__1_2 PUNC n39_a_genieus__1->n39_a_genieus__1_2 n39_a_genieus__1_1_1 ILYR n39_a_genieus__1_1->n39_a_genieus__1_1_1 n39_a_genieus__1_1_2 PUNC n39_a_genieus__1_1->n39_a_genieus__1_1_2 n39_a_genieus__1_1_3 CONJP n39_a_genieus__1_1->n39_a_genieus__1_1_3 n39_a_genieus__1_1_1_1 ADJP-PRD n39_a_genieus__1_1_1->n39_a_genieus__1_1_1_1 n39_a_genieus__1_1_1_1_1 AJLYR n39_a_genieus__1_1_1_1->n39_a_genieus__1_1_1_1_1 n39_a_genieus__1_1_1_1_1_1 AJLYR n39_a_genieus__1_1_1_1_1->n39_a_genieus__1_1_1_1_1_1 n39_a_genieus__1_1_1_1_1_2 CONJP n39_a_genieus__1_1_1_1_1->n39_a_genieus__1_1_1_1_1_2 n39_a_genieus__1_1_1_1_1_1_1 ADJ n39_a_genieus__1_1_1_1_1_1->n39_a_genieus__1_1_1_1_1_1_1 n39_a_genieus__1_1_1_1_1_1_1->n39_a_genieus__1_1_1_1_1_1_1_1 n39_a_genieus__1_1_1_1_1_2_1 CONJ n39_a_genieus__1_1_1_1_1_2->n39_a_genieus__1_1_1_1_1_2_1 n39_a_genieus__1_1_1_1_1_2_2 AJLYR n39_a_genieus__1_1_1_1_1_2->n39_a_genieus__1_1_1_1_1_2_2 n39_a_genieus__1_1_1_1_1_2_1->n39_a_genieus__1_1_1_1_1_2_1_1 n39_a_genieus__1_1_1_1_1_2_2_1 ADJ n39_a_genieus__1_1_1_1_1_2_2->n39_a_genieus__1_1_1_1_1_2_2_1 n39_a_genieus__1_1_1_1_1_2_2_1->n39_a_genieus__1_1_1_1_1_2_2_1_1 n39_a_genieus__1_1_2->n39_a_genieus__1_1_2_1 n39_a_genieus__1_1_3_1 CONJ n39_a_genieus__1_1_3->n39_a_genieus__1_1_3_1 n39_a_genieus__1_1_3_2 ILYR n39_a_genieus__1_1_3->n39_a_genieus__1_1_3_2 n39_a_genieus__1_1_3_1->n39_a_genieus__1_1_3_1_1 n39_a_genieus__1_1_3_2_1 NP-PRD n39_a_genieus__1_1_3_2->n39_a_genieus__1_1_3_2_1 n39_a_genieus__1_1_3_2_2 PUNC n39_a_genieus__1_1_3_2->n39_a_genieus__1_1_3_2_2 n39_a_genieus__1_1_3_2_3 ADVP-NIM n39_a_genieus__1_1_3_2->n39_a_genieus__1_1_3_2_3 n39_a_genieus__1_1_3_2_1_1 N n39_a_genieus__1_1_3_2_1->n39_a_genieus__1_1_3_2_1_1 n39_a_genieus__1_1_3_2_1_1->n39_a_genieus__1_1_3_2_1_1_1 n39_a_genieus__1_1_3_2_2->n39_a_genieus__1_1_3_2_2_1 n39_a_genieus__1_1_3_2_3_1 ADV n39_a_genieus__1_1_3_2_3->n39_a_genieus__1_1_3_2_3_1 n39_a_genieus__1_1_3_2_3_1->n39_a_genieus__1_1_3_2_3_1_1 n39_a_genieus__1_2->n39_a_genieus__1_2_1 
( (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))