( (IP-MAT (NP-SBJ;{GENIE} (D The;{the})
                          (N genie;{genie}))
          (BED;_La_ was;{be})
          (ADJP-PRD (AJLYR (AJLYR (AJLYR (AJLYR (ADJ tall;{tall}))
                                         (CONJP (CONJ and;{and})
                                                (AJLYR (ADJ handsome;{handsome})))))
                           (CONJP (CONJ and;{and})
                                  (AJLYR (ADJ proud;{proud})))))
          (PUNC .))
  (ID 23_a_genieus))

arc(r_0023_0003__was,r_0023_0001__The_r_0023_0002__genie,arg0).
arc(r_0023_0003__was,r_0023_0007__and,prd).
arc(r_0023_0005__and,r_0023_0004__tall,conj1).
arc(r_0023_0005__and,r_0023_0006__handsome,conj2).
arc(r_0023_0007__and,r_0023_0005__and,conj1).
arc(r_0023_0007__and,r_0023_0008__proud,conj2).

fof(formula,axiom,
    ? [R_0023_0001__THE_R_0023_0002__GENIE,R_0023_0004__TALL,R_0023_0006__HANDSOME,R_0023_0005__AND,R_0023_0008__PROUD,R_0023_0007__AND,R_0023_0003__WAS] :
      ( r_0023_0001__The_r_0023_0002__genie(R_0023_0001__THE_R_0023_0002__GENIE)
      & r_0023_0004__tall(R_0023_0004__TALL)
      & r_0023_0006__handsome(R_0023_0006__HANDSOME)
      & r_0023_0008__proud(R_0023_0008__PROUD)
      & r_0023_0003__was(R_0023_0003__WAS)
      & has_prd(R_0023_0003__WAS,R_0023_0007__AND)
      & r_0023_0007__and(R_0023_0007__AND)
      & has_conj2(R_0023_0007__AND,R_0023_0008__PROUD)
      & has_conj1(R_0023_0007__AND,R_0023_0005__AND)
      & r_0023_0005__and(R_0023_0005__AND)
      & has_conj2(R_0023_0005__AND,R_0023_0006__HANDSOME)
      & has_conj1(R_0023_0005__AND,R_0023_0004__TALL)
      & has_arg0(R_0023_0003__WAS,R_0023_0001__THE_R_0023_0002__GENIE) ) ).