( (IP-MAT (PURQ <lsquo>)
          (utterance-TPC-OB1 (FRAG (PP (P-ROLE In;{in})
                                       (NP (NP-GEN (PRO your;{you}))
                                           (NS dreams;{dream})))
                                   (PUNC !)))
          (PULQ <rsquo>)
          (VBD;_Tr_ snorted;{snort})
          (NP-SBJ;{GENIE} (D the;{the})
                          (N genie;{genie}))
          (PUNC .))
  (ID 26_a_genieus))

arc(r_0026_0004__dreams,r_0026_0003__your,gen).
arc(r_0026_0007__snorted,r_0026_0008__the_r_0026_0009__genie,arg0).
arc(r_0026_0007__snorted,z_0026_5002__utterance,arg1).
arc(z_0026_5002__utterance,z_0026_5006,part1).
arc(z_0026_5006,r_0026_0004__dreams,r_0026_0002__In).
arc(z_0026_5006,z_0026_5004,arg0).

fof(formula,axiom,
    ? [R_0026_0008__THE_R_0026_0009__GENIE,R_0026_0003__YOUR,R_0026_0004__DREAMS,Z_0026_5004,Z_0026_5006,Z_0026_5002__UTTERANCE,R_0026_0007__SNORTED] :
      ( r_0026_0003__your(R_0026_0003__YOUR)
      & r_0026_0008__the_r_0026_0009__genie(R_0026_0008__THE_R_0026_0009__GENIE)
      & z_0026_5004(Z_0026_5004)
      & r_0026_0007__snorted(R_0026_0007__SNORTED)
      & has_arg1(R_0026_0007__SNORTED,Z_0026_5002__UTTERANCE)
      & z_0026_5002__utterance(Z_0026_5002__UTTERANCE)
      & has_part1(Z_0026_5002__UTTERANCE,Z_0026_5006)
      & z_0026_5006(Z_0026_5006)
      & has_arg0(Z_0026_5006,Z_0026_5004)
      & has_r_0026_0002__In(Z_0026_5006,R_0026_0004__DREAMS)
      & r_0026_0004__dreams(R_0026_0004__DREAMS)
      & has_gen(R_0026_0004__DREAMS,R_0026_0003__YOUR)
      & has_arg0(R_0026_0007__SNORTED,R_0026_0008__THE_R_0026_0009__GENIE) ) ).