arc(r_0027_0004__dreams, r_0027_0003__your, gen).
arc(r_0027_0007__snorted, r_0027_0008__the_r_0027_0009__genie, arg0).
arc(r_0027_0007__snorted, utterance_27_a_genieus_4, arg1).
arc(utterance_27_a_genieus_4, z_000_27_a_genieus_5, part1).
arc(z_000_27_a_genieus_5, r_0027_0004__dreams, r_0027_0002__In_nim9).

fof(formula,axiom,
    ? [R_27_7_SNORTED,R_27_8_THE_GENIE,UTTERANCE_27_A_GENIEUS_4,Z_27_A_GENIEUS_5,R_27_4_DREAMS,R_27_3_YOUR] :
      ( the_genie(R_27_8_THE_GENIE)
      & your(R_27_3_YOUR)
      & snorted(R_27_7_SNORTED,R_27_8_THE_GENIE,UTTERANCE_27_A_GENIEUS_4)
      & utterance_27_a_genieus_4(UTTERANCE_27_A_GENIEUS_4)
      & part1(UTTERANCE_27_A_GENIEUS_4,Z_27_A_GENIEUS_5)
      & z_27_a_genieus_5(Z_27_A_GENIEUS_5)
      & in_nim9(Z_27_A_GENIEUS_5,R_27_4_DREAMS)
      & dreams(R_27_4_DREAMS)
      & gen(R_27_4_DREAMS,R_27_3_YOUR) ) ).

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