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

fof(formula,axiom,
    ? [R_0027_0003__YOUR,R_0027_0004__DREAMS,Z_000_27_A_GENIEUS_5,UTTERANCE_27_A_GENIEUS_4,R_0027_0008__THE_R_0027_0009__GENIE,R_0027_0007__SNORTED] :
      ( r_0027_0003__your(R_0027_0003__YOUR)
      & r_0027_0008__the_r_0027_0009__genie(R_0027_0008__THE_R_0027_0009__GENIE)
      & r_0027_0007__snorted(R_0027_0007__SNORTED)
      & has_arg0(R_0027_0007__SNORTED,R_0027_0008__THE_R_0027_0009__GENIE)
      & has_arg1(R_0027_0007__SNORTED,UTTERANCE_27_A_GENIEUS_4)
      & utterance_27_a_genieus_4(UTTERANCE_27_A_GENIEUS_4)
      & has_part1(UTTERANCE_27_A_GENIEUS_4,Z_000_27_A_GENIEUS_5)
      & z_000_27_a_genieus_5(Z_000_27_A_GENIEUS_5)
      & has_r_0027_0002__In_nim9(Z_000_27_A_GENIEUS_5,R_0027_0004__DREAMS)
      & r_0027_0004__dreams(R_0027_0004__DREAMS)
      & has_gen(R_0027_0004__DREAMS,R_0027_0003__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))