arc(r_0102_0003__can_r_0102_0014__but, r_0102_0004__break_r_0102_0005__down, scope).
arc(r_0102_0004__break_r_0102_0005__down, r_0102_0002__We, arg0).
arc(r_0102_0004__break_r_0102_0005__down, r_0102_0006__the_r_0102_0008__fats, arg1).
arc(r_0102_0007__stored, r_0102_0006__the_r_0102_0008__fats, arg1).
arc(r_0102_0007__stored, z_000_102_a_dick_1952_18, arg0).
arc(r_0102_0009__if, r_0102_0003__can_r_0102_0014__but, scope).
arc(r_0102_0009__if, r_0102_0011__want, restriction).
arc(r_0102_0011__want, r_0102_0002__We, arg0).
arc(r_0102_0011__want, r_0102_0012__to, arg1).
arc(r_0102_0012__to, r_0102_0002__We, arg0).

fof(formula,axiom,
    ? [R_102_7_STORED,Z_102_A_DICK_1952_18,R_102_6_THE_FATS] :
      ( the_fats(R_102_6_THE_FATS)
      & stored(R_102_7_STORED,Z_102_A_DICK_1952_18,R_102_6_THE_FATS)
      & ! [R_102_11_WANT,R_102_12_TO,R_102_2_WE] :
          ( ( we(R_102_2_WE)
            & want(R_102_11_WANT,R_102_2_WE,R_102_12_TO)
            & to(R_102_12_TO,R_102_2_WE) )
         => ? [R_102_3_CAN_BUT_BREAK_DOWN] : can_but_break_down(R_102_3_CAN_BUT_BREAK_DOWN,R_102_2_WE,R_102_6_THE_FATS) ) ) ).

( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{TRESPASSERS} (PRO We;{we}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;_phr_Vp.n_ break;{break[down]})
                      (RP down;{down})
                      (NP-OB1 (D the;{the})
                              (IP-PPL (NP-LGS *)
                                      (VVN;_Tn_ stored;{store}))
                              (NS fats;{fat})))
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                           (VBP;_Tt_ want;{want})
                           (IP-INF-OB1 (TO to;{to}))))
          (PUNC ,)
          (CONJ;_cl_ but;{but})
          (PUNC <mdash>)
          (PURQ <rdquo>))
  (ID 102_a_dick_1952))