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).

fof(formula,axiom,
    ? [R_0039_0006__MAGIC,R_0039_0008__TOO,Z_000_39_A_GENIEUS_20,R_0039_0001__TALL,R_0039_0003__HANDSOME,R_0039_0002__AND,Z_000_39_A_GENIEUS_3,R_0039_0005__AND] :
      ( r_0039_0001__Tall(R_0039_0001__TALL)
      & r_0039_0003__handsome(R_0039_0003__HANDSOME)
      & r_0039_0006__magic(R_0039_0006__MAGIC)
      & r_0039_0008__too(R_0039_0008__TOO)
      & r_0039_0005__and(R_0039_0005__AND)
      & has_conj1(R_0039_0005__AND,Z_000_39_A_GENIEUS_3)
      & z_000_39_a_genieus_3(Z_000_39_A_GENIEUS_3)
      & has_prd(Z_000_39_A_GENIEUS_3,R_0039_0002__AND)
      & r_0039_0002__and(R_0039_0002__AND)
      & has_conj2(R_0039_0002__AND,R_0039_0003__HANDSOME)
      & has_conj1(R_0039_0002__AND,R_0039_0001__TALL)
      & has_conj2(R_0039_0005__AND,Z_000_39_A_GENIEUS_20)
      & z_000_39_a_genieus_20(Z_000_39_A_GENIEUS_20)
      & has_nim26(Z_000_39_A_GENIEUS_20,R_0039_0008__TOO)
      & has_prd(Z_000_39_A_GENIEUS_20,R_0039_0006__MAGIC) ) ).

( (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))