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

arc(r_0504_0003___apos_ll,r_0504_0001__Soon,nim).
arc(r_0504_0003___apos_ll,r_0504_0004__be_r_0504_0005__home,scope).
arc(r_0504_0004__be_r_0504_0005__home,r_0504_0002__we,arg0).
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_0504_5005,restriction).
arc(r_0504_0011__happens,z_0504_5005,arg0).

fof(formula,axiom,
    ! [R_0504_0010__NOTHING__QUANT] :
      ( ! [Z_0504_5005] :
          ( z_0504_5005(Z_0504_5005)
         => ? [R_0504_0011__HAPPENS] :
              ( r_0504_0011__happens(R_0504_0011__HAPPENS)
              & has_arg0(R_0504_0011__HAPPENS,Z_0504_5005) ) )
     => ? [R_0504_0001__SOON,R_0504_0002__WE,R_0504_0003___APOS_LL_R_0504_0004__BE_R_0504_0005__HOME] :
          ( r_0504_0001__Soon(R_0504_0001__SOON)
          & r_0504_0002__we(R_0504_0002__WE)
          & r_0504_0003___apos_ll_r_0504_0004__be_r_0504_0005__home(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_0005__HOME,R_0504_0002__WE)
          & has_nim(R_0504_0003___APOS_LL_R_0504_0004__BE_R_0504_0005__HOME,R_0504_0001__SOON) ) ) ).