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,
    ? [R_56_9_SNAPPED,R_56_8_SHE,UTTERANCE_56_A_LOB_N02_4,R_56_2_BECAUSE,Z_56_A_LOB_N02_5] :
      ( she(R_56_8_SHE)
      & snapped(R_56_9_SNAPPED,R_56_8_SHE,UTTERANCE_56_A_LOB_N02_4)
      & utterance_56_a_lob_n02_4(UTTERANCE_56_A_LOB_N02_4)
      & part1(UTTERANCE_56_A_LOB_N02_4,R_56_2_BECAUSE)
      & because(R_56_2_BECAUSE)
      & conj1(R_56_2_BECAUSE,R_56_5_NOT)
      & ~ ? [R_56_4__APOS_M] : _apos_m(R_56_4__APOS_M,R_56_8_SHE)
      & conj2(R_56_2_BECAUSE,Z_56_A_LOB_N02_5) ) ).

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