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?”

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_0007__that_r_0418_0010__have, r_0418_0005__the_r_0418_0006__legend, arg1).
arc(r_0418_0007__that_r_0418_0010__have, r_0418_0009__races, arg0).
arc(r_0418_0008__all_quant, r_0418_0007__that_r_0418_0010__have, scope).
arc(r_0418_0008__all_quant, r_0418_0009__races, restriction).
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, arg1).
arc(r_0418_0015__buried, z_000_418_a_dick_1952_44, 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_0024__that_r_0418_0025__watches, r_0418_0014__the_r_0418_0016__treasure, arg1).
arc(r_0418_0024__that_r_0418_0025__watches, r_0418_0022__the_r_0418_0023__serpent, 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, 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_000_418_a_dick_1952_94, arg1).
arc(r_0418_0032__everyone_quant, r_0418_0031__keeping_r_0418_0033__away, scope).
arc(r_0418_0032__everyone_quant, z_000_418_a_dick_1952_94, restriction).
arc(z_000_418_a_dick_1952_29, r_0418_0005__the_r_0418_0006__legend, arg0).
arc(z_000_418_a_dick_1952_29, r_0418_0011__the_r_0418_0012__myth, prd).
arc(z_000_418_a_dick_1952_62, r_0418_0019__the_r_0418_0020__dragon, arg0).
arc(z_000_418_a_dick_1952_62, r_0418_0022__the_r_0418_0023__serpent, prd).
arc(z_000_418_a_dick_1952_90, r_0418_0028__guards, scope).
arc(z_000_418_a_dick_1952_90, r_0418_0032__everyone_quant, restriction).

fof(formula,axiom,
    ? [R_0418_0003__YOU,R_0418_0005__THE_R_0418_0006__LEGEND,R_0418_0002__DO_R_0418_0004__REMEMBER,R_0418_0014__THE_R_0418_0016__TREASURE,Z_000_418_A_DICK_1952_44,R_0418_0015__BURIED,R_0418_0022__THE_R_0418_0023__SERPENT,R_0418_0024__THAT_R_0418_0025__WATCHES,R_0418_0019__THE_R_0418_0020__DRAGON,R_0418_0018__AND,R_0418_0011__THE_R_0418_0012__MYTH,Z_000_418_A_DICK_1952_29,Z_000_418_A_DICK_1952_62,R_0418_0028__GUARDS,Z_000_418_A_DICK_1952_90] :
      ( r_0418_0003__you(R_0418_0003__YOU)
      & r_0418_0005__the_r_0418_0006__legend(R_0418_0005__THE_R_0418_0006__LEGEND)
      & r_0418_0014__the_r_0418_0016__treasure(R_0418_0014__THE_R_0418_0016__TREASURE)
      & r_0418_0019__the_r_0418_0020__dragon(R_0418_0019__THE_R_0418_0020__DRAGON)
      & r_0418_0022__the_r_0418_0023__serpent(R_0418_0022__THE_R_0418_0023__SERPENT)
      & z_000_418_a_dick_1952_44(Z_000_418_A_DICK_1952_44)
      & z_000_418_a_dick_1952_90(Z_000_418_A_DICK_1952_90)
      & ! [Z_000_418_A_DICK_1952_94] :
          ( z_000_418_a_dick_1952_94(Z_000_418_A_DICK_1952_94)
         => ? [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_000_418_A_DICK_1952_94)
              & has_arg0(R_0418_0031__KEEPING_R_0418_0033__AWAY,R_0418_0019__THE_R_0418_0020__DRAGON) ) )
      & has_conj2(Z_000_418_A_DICK_1952_90,R_0418_0028__GUARDS)
      & r_0418_0028__guards(R_0418_0028__GUARDS)
      & has_arg0(R_0418_0028__GUARDS,R_0418_0019__THE_R_0418_0020__DRAGON)
      & has_arg1(R_0418_0028__GUARDS,R_0418_0014__THE_R_0418_0016__TREASURE)
      & z_000_418_a_dick_1952_62(Z_000_418_A_DICK_1952_62)
      & has_prd(Z_000_418_A_DICK_1952_62,R_0418_0022__THE_R_0418_0023__SERPENT)
      & has_arg0(Z_000_418_A_DICK_1952_62,R_0418_0019__THE_R_0418_0020__DRAGON)
      & z_000_418_a_dick_1952_29(Z_000_418_A_DICK_1952_29)
      & has_prd(Z_000_418_A_DICK_1952_29,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)
      & has_conj1(R_0418_0018__AND,R_0418_0014__THE_R_0418_0016__TREASURE)
      & has_arg0(Z_000_418_A_DICK_1952_29,R_0418_0005__THE_R_0418_0006__LEGEND)
      & r_0418_0024__that_r_0418_0025__watches(R_0418_0024__THAT_R_0418_0025__WATCHES)
      & has_arg0(R_0418_0024__THAT_R_0418_0025__WATCHES,R_0418_0022__THE_R_0418_0023__SERPENT)
      & has_arg1(R_0418_0024__THAT_R_0418_0025__WATCHES,R_0418_0014__THE_R_0418_0016__TREASURE)
      & r_0418_0015__buried(R_0418_0015__BURIED)
      & has_arg0(R_0418_0015__BURIED,Z_000_418_A_DICK_1952_44)
      & has_arg1(R_0418_0015__BURIED,R_0418_0014__THE_R_0418_0016__TREASURE)
      & ! [R_0418_0009__RACES] :
          ( r_0418_0009__races(R_0418_0009__RACES)
         => ? [R_0418_0007__THAT_R_0418_0010__HAVE] :
              ( r_0418_0007__that_r_0418_0010__have(R_0418_0007__THAT_R_0418_0010__HAVE)
              & has_arg0(R_0418_0007__THAT_R_0418_0010__HAVE,R_0418_0009__RACES)
              & has_arg1(R_0418_0007__THAT_R_0418_0010__HAVE,R_0418_0005__THE_R_0418_0006__LEGEND) ) )
      & 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) ) ).

( (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}))
                              (IP-PPL (NP-PRD (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 ,)
                                                                         (IP-PPL (NP-PRD (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))