( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (FRAG (PP-SCON (P-CONN Because;{because})
                                        (IP-ADV;{NOT_IN_LOVE} (NP-SBJ;{BERYL} (PRO I;{I}))
                                                              (BEP;__ <apos>m;{be})
                                                              (NEG not;{not})))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ;{BERYL} (PRO she;{she}))
          (VBD;_Tr_ snapped;{snap})
          (PUNC .))
  (ID 56_a_lob_n02))

arc(r_0056_0002__Because,r_0056_0005__not,restriction).
arc(r_0056_0002__Because,z_0056_5008,scope).
arc(r_0056_0004___apos_m,r_0056_0003__I,arg0).
arc(r_0056_0005__not,r_0056_0004___apos_m,keep_scope).
arc(r_0056_0009__snapped,r_0056_0003__I,arg0).
arc(r_0056_0009__snapped,z_0056_5002__utterance,arg1).
arc(z_0056_5002__utterance,r_0056_0002__Because,part1).
arc(z_0056_5008,z_0056_5004,arg0).

fof(formula,axiom,
    ? [R_0056_0003__I,Z_0056_5004,Z_0056_5008,R_0056_0002__BECAUSE,Z_0056_5002__UTTERANCE,R_0056_0009__SNAPPED] :
      ( r_0056_0003__I(R_0056_0003__I)
      & z_0056_5004(Z_0056_5004)
      & r_0056_0009__snapped(R_0056_0009__SNAPPED)
      & has_arg1(R_0056_0009__SNAPPED,Z_0056_5002__UTTERANCE)
      & z_0056_5002__utterance(Z_0056_5002__UTTERANCE)
      & has_part1(Z_0056_5002__UTTERANCE,R_0056_0002__BECAUSE)
      & r_0056_0002__Because(R_0056_0002__BECAUSE)
      & has_conj2(R_0056_0002__BECAUSE,Z_0056_5008)
      & z_0056_5008(Z_0056_5008)
      & has_arg0(Z_0056_5008,Z_0056_5004)
      & has_conj1(R_0056_0002__BECAUSE,R_0056_0005__NOT)
      & ~ ? [R_0056_0004___APOS_M] :
            ( r_0056_0004___apos_m(R_0056_0004___APOS_M)
            & has_arg0(R_0056_0004___APOS_M,R_0056_0003__I) )
      & has_arg0(R_0056_0009__SNAPPED,R_0056_0003__I) ) ).