( (IP-MAT (NP-SBJ (Q;_nphd_ all;{all})
                  (NLYR (D;_nphd_ this;{this})))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn.p_ taken;{take[home]})
                                  (ADVP-CLR (ADVP (RP back;{back}))
                                            (ADV home;{home}))
                                  (PUNC ,)
                                  (ADVP-NIM (AVLYR (AVLYR (ADVR sooner;{soon}))
                                                   (CONJP (CONJ or;{or})
                                                          (AVLYR (ADVR later;{late})))))))
          (PUNC .))
  (ID 509_a_dick_1952))

arc(r_0509_0001__all__quant,r_0509_0003__must,scope).
arc(r_0509_0001__all__quant,z_0509_5003,restriction).
arc(r_0509_0003__must,r_0509_0004__be,scope).
arc(r_0509_0004__be,r_0509_0005__taken,scope).
arc(r_0509_0005__taken,r_0509_0007__home,clr).
arc(r_0509_0005__taken,r_0509_0010__or,nim).
arc(r_0509_0005__taken,z_0509_5003,arg1).
arc(r_0509_0005__taken,z_0509_5011___star_,arg0).
arc(r_0509_0007__home,r_0509_0006__back,qual).
arc(r_0509_0010__or,r_0509_0009__sooner,conj1).
arc(r_0509_0010__or,r_0509_0011__later,conj2).
arc(z_0509_5003,r_0509_0002__this,nim).

fof(formula,axiom,
    ! [Z_0509_5003,R_0509_0002__THIS] :
      ( ( r_0509_0002__this(R_0509_0002__THIS)
        & z_0509_5003(Z_0509_5003)
        & has_nim(Z_0509_5003,R_0509_0002__THIS) )
     => ? [R_0509_0006__BACK,R_0509_0007__HOME,R_0509_0009__SOONER,R_0509_0011__LATER,R_0509_0010__OR,Z_0509_5011___STAR_,R_0509_0003__MUST_R_0509_0004__BE_R_0509_0005__TAKEN] :
          ( r_0509_0006__back(R_0509_0006__BACK)
          & r_0509_0009__sooner(R_0509_0009__SOONER)
          & r_0509_0011__later(R_0509_0011__LATER)
          & z_0509_5011___star_(Z_0509_5011___STAR_)
          & r_0509_0003__must_r_0509_0004__be_r_0509_0005__taken(R_0509_0003__MUST_R_0509_0004__BE_R_0509_0005__TAKEN)
          & has_arg0(R_0509_0003__MUST_R_0509_0004__BE_R_0509_0005__TAKEN,Z_0509_5011___STAR_)
          & has_arg1(R_0509_0003__MUST_R_0509_0004__BE_R_0509_0005__TAKEN,Z_0509_5003)
          & has_nim(R_0509_0003__MUST_R_0509_0004__BE_R_0509_0005__TAKEN,R_0509_0010__OR)
          & r_0509_0010__or(R_0509_0010__OR)
          & has_conj2(R_0509_0010__OR,R_0509_0011__LATER)
          & has_conj1(R_0509_0010__OR,R_0509_0009__SOONER)
          & has_clr(R_0509_0003__MUST_R_0509_0004__BE_R_0509_0005__TAKEN,R_0509_0007__HOME)
          & r_0509_0007__home(R_0509_0007__HOME)
          & has_qual(R_0509_0007__HOME,R_0509_0006__BACK) ) ) ).