arc(r_0516_0003___apos_ve, r_0516_0004__guarded, scope).
arc(r_0516_0004__guarded, r_0516_0002__They, arg0).
arc(r_0516_0004__guarded, r_0516_0006__treasure, arg1).
arc(r_0516_0004__guarded, r_0516_0008__well, nim18).
arc(r_0516_0006__treasure, r_0516_0002__They, gen).
arc(r_0516_0008__well, r_0516_0007__too, qual19).

fof(formula,axiom,
    ? [R_0516_0002__THEY,R_0516_0006__TREASURE,R_0516_0007__TOO,R_0516_0008__WELL,R_0516_0003___APOS_VE_R_0516_0004__GUARDED] :
      ( r_0516_0002__They(R_0516_0002__THEY)
      & r_0516_0007__too(R_0516_0007__TOO)
      & r_0516_0003___apos_ve_r_0516_0004__guarded(R_0516_0003___APOS_VE_R_0516_0004__GUARDED)
      & has_nim18(R_0516_0003___APOS_VE_R_0516_0004__GUARDED,R_0516_0008__WELL)
      & r_0516_0008__well(R_0516_0008__WELL)
      & has_qual19(R_0516_0008__WELL,R_0516_0007__TOO)
      & has_arg1(R_0516_0003___APOS_VE_R_0516_0004__GUARDED,R_0516_0006__TREASURE)
      & r_0516_0006__treasure(R_0516_0006__TREASURE)
      & has_gen(R_0516_0006__TREASURE,R_0516_0002__THEY)
      & has_arg0(R_0516_0003___APOS_VE_R_0516_0004__GUARDED,R_0516_0002__THEY) ) ).

( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{INHABITANTS} (PRO They;{they}))
          (HVP;_cat_Ve_ <apos>ve;{have})
          (IP-PPL-CAT (VVN;_Tn_ guarded;{guard})
                      (NP-OB1;{TREASURE} (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                         (N treasure;{treasure}))
                      (ADVP-NIM (ADVP (ADV too;{too}))
                                (ADV well;{well})))
          (PUNC .))
  (ID 516_a_dick_1952))