arc(utterance_56_a_lob_n02_4, r_0056_0002__Because, part1).
arc(r_0056_0002__Because, r_0056_0005__not, restriction).
arc(r_0056_0002__Because, z_000_56_a_lob_n02_5, scope).
arc(r_0056_0004___apos_m, r_0056_0008__she, arg0).
arc(r_0056_0005__not, r_0056_0004___apos_m, keep_scope).
arc(r_0056_0009__snapped, utterance_56_a_lob_n02_4, arg1).
arc(r_0056_0009__snapped, r_0056_0008__she, arg0).

fof(formula,axiom,
    ? [Z_000_56_A_LOB_N02_5,R_0056_0002__BECAUSE,UTTERANCE_56_A_LOB_N02_4,R_0056_0008__SHE,R_0056_0009__SNAPPED] :
      ( r_0056_0008__she(R_0056_0008__SHE)
      & z_000_56_a_lob_n02_5(Z_000_56_A_LOB_N02_5)
      & r_0056_0009__snapped(R_0056_0009__SNAPPED)
      & has_arg0(R_0056_0009__SNAPPED,R_0056_0008__SHE)
      & has_arg1(R_0056_0009__SNAPPED,UTTERANCE_56_A_LOB_N02_4)
      & utterance_56_a_lob_n02_4(UTTERANCE_56_A_LOB_N02_4)
      & has_part1(UTTERANCE_56_A_LOB_N02_4,R_0056_0002__BECAUSE)
      & r_0056_0002__Because(R_0056_0002__BECAUSE)
      & has_conj2(R_0056_0002__BECAUSE,Z_000_56_A_LOB_N02_5)
      & 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_0008__SHE) ) ) ).

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