arc(r_0509_0001__all_quant, r_0509_0002__this, restriction).
arc(r_0509_0001__all_quant, r_0509_0003__must, scope).
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_0002__this, arg1).
arc(r_0509_0005__taken, r_0509_0007__home, clr17).
arc(r_0509_0005__taken, r_0509_0010__or, nim25).
arc(r_0509_0005__taken, z_000_509_a_dick_1952_13, arg0).
arc(r_0509_0007__home, r_0509_0006__back, qual18).
arc(r_0509_0010__or, r_0509_0009__sooner, conj1).
arc(r_0509_0010__or, r_0509_0011__later, conj2).

fof(formula,axiom,
    ! [R_0509_0002__THIS] :
      ( r_0509_0002__this(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_000_509_A_DICK_1952_13,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_000_509_a_dick_1952_13(Z_000_509_A_DICK_1952_13)
          & 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_000_509_A_DICK_1952_13)
          & has_nim25(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_clr17(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_qual18(R_0509_0007__HOME,R_0509_0006__BACK)
          & has_arg1(R_0509_0003__MUST_R_0509_0004__BE_R_0509_0005__TAKEN,R_0509_0002__THIS) ) ) ).

( (IP-MAT (NP-SBJ (Q;_nphd_ all;{all})
                  (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))