( (IP-MAT (ILYR (ILYR (NP-SBJ (D A;{a})
                              (N cloud;{cloud})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ purple;{purple}))
                                      (N smoke;{smoke}))))
                      (VBD;_phr_Vp_ burst;{burst[out]})
                      (RP out;{out}))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{GENIE} (D a;{a})
                                             (N genie;{genie}))
                             (VBD;_I_ appeared;{appear}))))
          (PUNC .))
  (ID 22_a_genieus))

arc(r_0022_0001__A_r_0022_0002__cloud,r_0022_0005__smoke,r_0022_0003__of).
arc(r_0022_0005__smoke,r_0022_0004__purple,attrib).
arc(r_0022_0006__burst_r_0022_0007__out,r_0022_0001__A_r_0022_0002__cloud,arg0).
arc(r_0022_0009__and,r_0022_0006__burst_r_0022_0007__out,conj1).
arc(r_0022_0009__and,r_0022_0012__appeared,conj2).
arc(r_0022_0012__appeared,r_0022_0010__a_r_0022_0011__genie,arg0).

fof(formula,axiom,
    ? [R_0022_0004__PURPLE,R_0022_0005__SMOKE,R_0022_0001__A_R_0022_0002__CLOUD,R_0022_0006__BURST_R_0022_0007__OUT,R_0022_0010__A_R_0022_0011__GENIE,R_0022_0012__APPEARED,R_0022_0009__AND] :
      ( r_0022_0004__purple(R_0022_0004__PURPLE)
      & r_0022_0010__a_r_0022_0011__genie(R_0022_0010__A_R_0022_0011__GENIE)
      & r_0022_0009__and(R_0022_0009__AND)
      & has_conj2(R_0022_0009__AND,R_0022_0012__APPEARED)
      & r_0022_0012__appeared(R_0022_0012__APPEARED)
      & has_arg0(R_0022_0012__APPEARED,R_0022_0010__A_R_0022_0011__GENIE)
      & has_conj1(R_0022_0009__AND,R_0022_0006__BURST_R_0022_0007__OUT)
      & r_0022_0006__burst_r_0022_0007__out(R_0022_0006__BURST_R_0022_0007__OUT)
      & has_arg0(R_0022_0006__BURST_R_0022_0007__OUT,R_0022_0001__A_R_0022_0002__CLOUD)
      & r_0022_0001__A_r_0022_0002__cloud(R_0022_0001__A_R_0022_0002__CLOUD)
      & has_r_0022_0003__of(R_0022_0001__A_R_0022_0002__CLOUD,R_0022_0005__SMOKE)
      & r_0022_0005__smoke(R_0022_0005__SMOKE)
      & has_attrib(R_0022_0005__SMOKE,R_0022_0004__PURPLE) ) ).