arc(r_0504_0003___apos_ll, r_0504_0001__Soon, nim2).
arc(r_0504_0003___apos_ll, r_0504_0004__be, scope).
arc(r_0504_0004__be, r_0504_0002__we, arg0).
arc(r_0504_0004__be, r_0504_0005__home, clr13).
arc(r_0504_0007__that_is_r_0504_0009__if, r_0504_0003___apos_ll, scope).
arc(r_0504_0007__that_is_r_0504_0009__if, r_0504_0010__nothing_quant, restriction).
arc(r_0504_0010__nothing_quant, r_0504_0011__happens, scope).
arc(r_0504_0010__nothing_quant, z_000_504_a_dick_1952_26, restriction).
arc(r_0504_0011__happens, z_000_504_a_dick_1952_26, arg0).

fof(formula,axiom,
    ! [R_0504_0010__NOTHING_QUANT] :
      ( ! [Z_000_504_A_DICK_1952_26] :
          ( z_000_504_a_dick_1952_26(Z_000_504_A_DICK_1952_26)
         => ? [R_0504_0011__HAPPENS] :
              ( r_0504_0011__happens(R_0504_0011__HAPPENS)
              & has_arg0(R_0504_0011__HAPPENS,Z_000_504_A_DICK_1952_26) ) )
     => ? [R_0504_0001__SOON,R_0504_0002__WE,R_0504_0005__HOME,R_0504_0003___APOS_LL_R_0504_0004__BE] :
          ( r_0504_0001__Soon(R_0504_0001__SOON)
          & r_0504_0002__we(R_0504_0002__WE)
          & r_0504_0005__home(R_0504_0005__HOME)
          & r_0504_0003___apos_ll_r_0504_0004__be(R_0504_0003___APOS_LL_R_0504_0004__BE)
          & has_clr13(R_0504_0003___APOS_LL_R_0504_0004__BE,R_0504_0005__HOME)
          & has_arg0(R_0504_0003___APOS_LL_R_0504_0004__BE,R_0504_0002__WE)
          & has_nim2(R_0504_0003___APOS_LL_R_0504_0004__BE,R_0504_0001__SOON) ) ) ).

( (IP-MAT (ADVP-NIM (ADV Soon;{soon}))
          (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (BE;_Ip_ be;{be})
                      (ADVP-CLR (ADV home;{home})))
          (PUNC ,)
          (PP-SCON (ADV that_is;{that_is})
                   (PUNC ,)
                   (P-CONN if;{if})
                   (IP-ADV (NP-SBJ (Q;_nphd_ nothing;{nothing}))
                           (VBP;_I_ happens;{happen})))
          (PUNC .))
  (ID 504_a_dick_1952))