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

arc(r_0037_0002__and,r_0037_0001__Tall,conj1).
arc(r_0037_0002__and,r_0037_0003__handsome,conj2).
arc(r_0037_0005__and,z_0037_5004,conj1).
arc(r_0037_0005__and,z_0037_5008,conj2).
arc(z_0037_5004,r_0037_0002__and,prd).
arc(z_0037_5008,r_0037_0006__magic,prd).
arc(z_0037_5008,r_0037_0008__too,nim).

fof(formula,axiom,
    ? [R_0037_0001__TALL,R_0037_0003__HANDSOME,R_0037_0002__AND,Z_0037_5004,R_0037_0006__MAGIC,R_0037_0008__TOO,Z_0037_5008,R_0037_0005__AND] :
      ( r_0037_0001__Tall(R_0037_0001__TALL)
      & r_0037_0003__handsome(R_0037_0003__HANDSOME)
      & r_0037_0006__magic(R_0037_0006__MAGIC)
      & r_0037_0008__too(R_0037_0008__TOO)
      & r_0037_0005__and(R_0037_0005__AND)
      & has_conj2(R_0037_0005__AND,Z_0037_5008)
      & z_0037_5008(Z_0037_5008)
      & has_nim(Z_0037_5008,R_0037_0008__TOO)
      & has_prd(Z_0037_5008,R_0037_0006__MAGIC)
      & has_conj1(R_0037_0005__AND,Z_0037_5004)
      & z_0037_5004(Z_0037_5004)
      & has_prd(Z_0037_5004,R_0037_0002__AND)
      & r_0037_0002__and(R_0037_0002__AND)
      & has_conj2(R_0037_0002__AND,R_0037_0003__HANDSOME)
      & has_conj1(R_0037_0002__AND,R_0037_0001__TALL) ) ).