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_516_3__APOS_VE_GUARDED,R_516_6_TREASURE,R_516_2_THEY,R_516_8_WELL,R_516_7_TOO] :
      ( they(R_516_2_THEY)
      & too(R_516_7_TOO)
      & _apos_ve_guarded(R_516_3__APOS_VE_GUARDED,R_516_2_THEY,R_516_6_TREASURE)
      & treasure(R_516_6_TREASURE)
      & gen(R_516_6_TREASURE,R_516_2_THEY)
      & nim18(R_516_3__APOS_VE_GUARDED,R_516_8_WELL)
      & well(R_516_8_WELL)
      & qual19(R_516_8_WELL,R_516_7_TOO) ) ).

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