TSPC 418_a_dick

418_a_dick_1952
“Do you remember the legend that all races have the myth of the buried treasure, and the dragon, the serpent that watches it, guards it, keeping everyone away?”

( (CP-QUE-MAT (PULQ <ldquo>)
              (IP-SUB (DOP Do;{do})
                      (NP-SBJ;{NASHA} (PRO you;{you}))
                      (VB;_Tn_ remember;{remember})
                      (NP-OB1 (D the;{the})
                              (N legend;{legend})
                              (IP-REL (C that;{that})
                                      (NP-OB1 *T*)
                                      (NP-SBJ (Q all;{all})
                                              (NS races;{race}))
                                      (HVP;_Tn_ have;{have}))
                              (PRN (NP (D the;{the})
                                       (N myth;{myth})
                                       (PP (P-ROLE of;{of})
                                           (NP (NLYR (NLYR;{TREASURE} (D the;{the})
                                                                      (IP-PPL (NP-LGS *)
                                                                              (VVN;_Tn_ buried;{buried}))
                                                                      (N treasure;{treasure}))
                                                     (PUNC ,)
                                                     (CONJP (CONJ and;{and})
                                                            (NLYR (D the;{the})
                                                                  (N dragon;{dragon})
                                                                  (PUNC ,)
                                                                  (PRN (NP (D the;{the})
                                                                           (N serpent;{serpent})
                                                                           (IP-REL (C that;{that})
                                                                                   (NP-SBJ *T*)
                                                                                   (VBP;_Tn_ watches;{watch})
                                                                                   (NP-OB1;{TREASURE} (PRO it;{it})))))
                                                                  (PUNC ,)
                                                                  (IP-REL (NP-SBJ *T*)
                                                                          (VBP;_Tn_ guards;{guard})
                                                                          (NP-OB1;{TREASURE} (PRO it;{it}))
                                                                          (PUNC ,)
                                                                          (PP-SCON (IP-PPL2 (VAG;_phr_Vn<=>p_ keeping;{keep[away]})
                                                                                            (NP-OB1 (Q;_nphd_ everyone;{everyone}))
                                                                                            (RP away;{away})))))))))))))
              (PUNC ?)
              (PURQ <rdquo>))
  (ID 418_a_dick_1952))

arc(r_0418_0002__Do_r_0418_0004__remember,r_0418_0003__you,arg0).
arc(r_0418_0002__Do_r_0418_0004__remember,r_0418_0005__the_r_0418_0006__legend,arg1).
arc(r_0418_0008__all__quant,r_0418_0009__races,restriction).
arc(r_0418_0008__all__quant,r_0418_0010__have,scope).
arc(r_0418_0010__have,r_0418_0005__the_r_0418_0006__legend,inv_arg1).
arc(r_0418_0010__have,r_0418_0009__races,arg0).
arc(r_0418_0011__the_r_0418_0012__myth,r_0418_0018__and,r_0418_0013__of).
arc(r_0418_0015__buried,r_0418_0014__the_r_0418_0016__treasure,inv_arg1).
arc(r_0418_0015__buried,z_0418_5008___star_,arg0).
arc(r_0418_0018__and,r_0418_0014__the_r_0418_0016__treasure,conj1).
arc(r_0418_0018__and,r_0418_0019__the_r_0418_0020__dragon,conj2).
arc(r_0418_0025__watches,r_0418_0014__the_r_0418_0016__treasure,arg1).
arc(r_0418_0025__watches,r_0418_0022__the_r_0418_0023__serpent,inv_arg0).
arc(r_0418_0028__guards,r_0418_0014__the_r_0418_0016__treasure,arg1).
arc(r_0418_0028__guards,r_0418_0019__the_r_0418_0020__dragon,inv_arg0).
arc(r_0418_0031__keeping_r_0418_0033__away,r_0418_0019__the_r_0418_0020__dragon,arg0).
arc(r_0418_0031__keeping_r_0418_0033__away,z_0418_5021,arg1).
arc(r_0418_0032__everyone__quant,r_0418_0031__keeping_r_0418_0033__away,scope).
arc(r_0418_0032__everyone__quant,z_0418_5021,restriction).
arc(z_0418_5014,r_0418_0019__the_r_0418_0020__dragon,arg0).
arc(z_0418_5014,r_0418_0022__the_r_0418_0023__serpent,prd).
arc(z_0418_5017,r_0418_0028__guards,scope).
arc(z_0418_5017,r_0418_0032__everyone__quant,restriction).
arc(z_0418_5024,r_0418_0005__the_r_0418_0006__legend,arg0).
arc(z_0418_5024,r_0418_0011__the_r_0418_0012__myth,prd).

fof(formula,axiom,
    ? [R_0418_0003__YOU,R_0418_0009__RACES,R_0418_0010__HAVE,R_0418_0005__THE_R_0418_0006__LEGEND,R_0418_0002__DO_R_0418_0004__REMEMBER,Z_0418_5008___STAR_,R_0418_0015__BURIED,R_0418_0014__THE_R_0418_0016__TREASURE,R_0418_0028__GUARDS,R_0418_0019__THE_R_0418_0020__DRAGON,R_0418_0025__WATCHES,R_0418_0022__THE_R_0418_0023__SERPENT,Z_0418_5014,Z_0418_5017,R_0418_0018__AND,R_0418_0011__THE_R_0418_0012__MYTH,Z_0418_5024] :
      ( r_0418_0003__you(R_0418_0003__YOU)
      & r_0418_0009__races(R_0418_0009__RACES)
      & z_0418_5008___star_(Z_0418_5008___STAR_)
      & z_0418_5024(Z_0418_5024)
      & has_prd(Z_0418_5024,R_0418_0011__THE_R_0418_0012__MYTH)
      & r_0418_0011__the_r_0418_0012__myth(R_0418_0011__THE_R_0418_0012__MYTH)
      & has_r_0418_0013__of(R_0418_0011__THE_R_0418_0012__MYTH,R_0418_0018__AND)
      & r_0418_0018__and(R_0418_0018__AND)
      & has_conj2(R_0418_0018__AND,R_0418_0019__THE_R_0418_0020__DRAGON)
      & r_0418_0019__the_r_0418_0020__dragon(R_0418_0019__THE_R_0418_0020__DRAGON)
      & has_inv_arg0(R_0418_0019__THE_R_0418_0020__DRAGON,R_0418_0028__GUARDS)
      & r_0418_0028__guards(R_0418_0028__GUARDS)
      & has_arg1(R_0418_0028__GUARDS,R_0418_0014__THE_R_0418_0016__TREASURE)
      & r_0418_0014__the_r_0418_0016__treasure(R_0418_0014__THE_R_0418_0016__TREASURE)
      & has_inv_arg1(R_0418_0014__THE_R_0418_0016__TREASURE,R_0418_0015__BURIED)
      & r_0418_0015__buried(R_0418_0015__BURIED)
      & has_arg0(R_0418_0015__BURIED,Z_0418_5008___STAR_)
      & has_conj1(R_0418_0018__AND,R_0418_0014__THE_R_0418_0016__TREASURE)
      & has_arg0(Z_0418_5024,R_0418_0005__THE_R_0418_0006__LEGEND)
      & r_0418_0005__the_r_0418_0006__legend(R_0418_0005__THE_R_0418_0006__LEGEND)
      & has_inv_arg1(R_0418_0005__THE_R_0418_0006__LEGEND,R_0418_0010__HAVE)
      & r_0418_0010__have(R_0418_0010__HAVE)
      & has_arg0(R_0418_0010__HAVE,R_0418_0009__RACES)
      & z_0418_5017(Z_0418_5017)
      & ! [Z_0418_5021] :
          ( z_0418_5021(Z_0418_5021)
         => ? [R_0418_0031__KEEPING_R_0418_0033__AWAY] :
              ( r_0418_0031__keeping_r_0418_0033__away(R_0418_0031__KEEPING_R_0418_0033__AWAY)
              & has_arg1(R_0418_0031__KEEPING_R_0418_0033__AWAY,Z_0418_5021)
              & has_arg0(R_0418_0031__KEEPING_R_0418_0033__AWAY,R_0418_0019__THE_R_0418_0020__DRAGON) ) )
      & has_conj2(Z_0418_5017,R_0418_0028__GUARDS)
      & z_0418_5014(Z_0418_5014)
      & has_prd(Z_0418_5014,R_0418_0022__THE_R_0418_0023__SERPENT)
      & r_0418_0022__the_r_0418_0023__serpent(R_0418_0022__THE_R_0418_0023__SERPENT)
      & has_inv_arg0(R_0418_0022__THE_R_0418_0023__SERPENT,R_0418_0025__WATCHES)
      & r_0418_0025__watches(R_0418_0025__WATCHES)
      & has_arg1(R_0418_0025__WATCHES,R_0418_0014__THE_R_0418_0016__TREASURE)
      & has_arg0(Z_0418_5014,R_0418_0019__THE_R_0418_0020__DRAGON)
      & ( r_0418_0009__races(R_0418_0009__RACES)
       => r_0418_0010__have(R_0418_0010__HAVE) )
      & r_0418_0002__Do_r_0418_0004__remember(R_0418_0002__DO_R_0418_0004__REMEMBER)
      & has_arg1(R_0418_0002__DO_R_0418_0004__REMEMBER,R_0418_0005__THE_R_0418_0006__LEGEND)
      & has_arg0(R_0418_0002__DO_R_0418_0004__REMEMBER,R_0418_0003__YOU) ) ).