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

arc(r_0102_0003__can,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,inv_arg1).
arc(r_0102_0007__stored,z_0102_5009___star_,arg0).
arc(r_0102_0009__if,r_0102_0003__can,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,z_0102_5004,arg1).
arc(z_0102_5004,r_0102_0002__We,arg0).

fof(formula,axiom,
    ! [R_0102_0011__WANT,R_0102_0002__WE,Z_0102_5004] :
      ( ( r_0102_0002__We(R_0102_0002__WE)
        & r_0102_0011__want(R_0102_0011__WANT)
        & has_arg1(R_0102_0011__WANT,Z_0102_5004)
        & z_0102_5004(Z_0102_5004)
        & has_arg0(Z_0102_5004,R_0102_0002__WE)
        & has_arg0(R_0102_0011__WANT,R_0102_0002__WE) )
     => ? [Z_0102_5009___STAR_,R_0102_0007__STORED,R_0102_0006__THE_R_0102_0008__FATS,R_0102_0003__CAN_R_0102_0004__BREAK_R_0102_0005__DOWN] :
          ( z_0102_5009___star_(Z_0102_5009___STAR_)
          & r_0102_0003__can_r_0102_0004__break_r_0102_0005__down(R_0102_0003__CAN_R_0102_0004__BREAK_R_0102_0005__DOWN)
          & has_arg1(R_0102_0003__CAN_R_0102_0004__BREAK_R_0102_0005__DOWN,R_0102_0006__THE_R_0102_0008__FATS)
          & r_0102_0006__the_r_0102_0008__fats(R_0102_0006__THE_R_0102_0008__FATS)
          & has_inv_arg1(R_0102_0006__THE_R_0102_0008__FATS,R_0102_0007__STORED)
          & r_0102_0007__stored(R_0102_0007__STORED)
          & has_arg0(R_0102_0007__STORED,Z_0102_5009___STAR_)
          & has_arg0(R_0102_0003__CAN_R_0102_0004__BREAK_R_0102_0005__DOWN,R_0102_0002__WE) ) ) ).