Context                Previous, Next                Top


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

%3 r_0418_0002__Do_r_0418_0004__remember Do remember r_0418_0003__you you r_0418_0002__Do_r_0418_0004__remember->r_0418_0003__you [arg0] r_0418_0005__the_r_0418_0006__legend the legend r_0418_0002__Do_r_0418_0004__remember->r_0418_0005__the_r_0418_0006__legend [arg1] r_0418_0007__that_r_0418_0010__have that have r_0418_0007__that_r_0418_0010__have->r_0418_0005__the_r_0418_0006__legend [arg1] r_0418_0009__races races r_0418_0007__that_r_0418_0010__have->r_0418_0009__races [arg0] r_0418_0008__all_quant all [quant] r_0418_0008__all_quant->r_0418_0007__that_r_0418_0010__have [scope] r_0418_0008__all_quant->r_0418_0009__races [restriction] r_0418_0011__the_r_0418_0012__myth the myth r_0418_0018__and and r_0418_0011__the_r_0418_0012__myth->r_0418_0018__and of r_0418_0014__the_r_0418_0016__treasure the treasure r_0418_0018__and->r_0418_0014__the_r_0418_0016__treasure [conj1] r_0418_0019__the_r_0418_0020__dragon the dragon r_0418_0018__and->r_0418_0019__the_r_0418_0020__dragon [conj2] r_0418_0015__buried buried r_0418_0015__buried->r_0418_0014__the_r_0418_0016__treasure [arg1] z_000_418_a_dick_1952_44 r_0418_0015__buried->z_000_418_a_dick_1952_44 [arg0] r_0418_0024__that_r_0418_0025__watches that watches r_0418_0024__that_r_0418_0025__watches->r_0418_0014__the_r_0418_0016__treasure [arg1] r_0418_0022__the_r_0418_0023__serpent the serpent r_0418_0024__that_r_0418_0025__watches->r_0418_0022__the_r_0418_0023__serpent [arg0] r_0418_0028__guards guards r_0418_0028__guards->r_0418_0014__the_r_0418_0016__treasure [arg1] r_0418_0028__guards->r_0418_0019__the_r_0418_0020__dragon [arg0] r_0418_0031__keeping_r_0418_0033__away keeping away r_0418_0031__keeping_r_0418_0033__away->r_0418_0019__the_r_0418_0020__dragon [arg0] z_000_418_a_dick_1952_94 r_0418_0031__keeping_r_0418_0033__away->z_000_418_a_dick_1952_94 [arg1] r_0418_0032__everyone_quant everyone [quant] r_0418_0032__everyone_quant->r_0418_0031__keeping_r_0418_0033__away [scope] r_0418_0032__everyone_quant->z_000_418_a_dick_1952_94 [restriction] z_000_418_a_dick_1952_29 z_000_418_a_dick_1952_29->r_0418_0005__the_r_0418_0006__legend [arg0] z_000_418_a_dick_1952_29->r_0418_0011__the_r_0418_0012__myth [prd] z_000_418_a_dick_1952_62 z_000_418_a_dick_1952_62->r_0418_0019__the_r_0418_0020__dragon [arg0] z_000_418_a_dick_1952_62->r_0418_0022__the_r_0418_0023__serpent [prd] z_000_418_a_dick_1952_90 z_000_418_a_dick_1952_90->r_0418_0028__guards [scope] z_000_418_a_dick_1952_90->r_0418_0032__everyone_quant [restriction] 
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).


%3 r_0418_0002__Do_r_0418_0004__remember Do remember r_0418_0003__you you r_0418_0002__Do_r_0418_0004__remember->r_0418_0003__you [arg0] r_0418_0005__the_r_0418_0006__legend the legend r_0418_0002__Do_r_0418_0004__remember->r_0418_0005__the_r_0418_0006__legend [arg1] r_0418_0007__that_r_0418_0010__have that have r_0418_0007__that_r_0418_0010__have->r_0418_0005__the_r_0418_0006__legend [arg1] r_0418_0009__races races r_0418_0007__that_r_0418_0010__have->r_0418_0009__races [arg0] r_0418_0008__all_quant all [quant] r_0418_0008__all_quant->r_0418_0007__that_r_0418_0010__have [scope] r_0418_0008__all_quant->r_0418_0009__races [restriction] r_0418_0011__the_r_0418_0012__myth the myth r_0418_0018__and and r_0418_0011__the_r_0418_0012__myth->r_0418_0018__and of r_0418_0014__the_r_0418_0016__treasure the treasure r_0418_0018__and->r_0418_0014__the_r_0418_0016__treasure [conj1] r_0418_0019__the_r_0418_0020__dragon the dragon r_0418_0018__and->r_0418_0019__the_r_0418_0020__dragon [conj2] r_0418_0015__buried buried r_0418_0015__buried->r_0418_0014__the_r_0418_0016__treasure [arg1] z_000_418_a_dick_1952_44 r_0418_0015__buried->z_000_418_a_dick_1952_44 [arg0] r_0418_0024__that_r_0418_0025__watches that watches r_0418_0024__that_r_0418_0025__watches->r_0418_0014__the_r_0418_0016__treasure [arg1] r_0418_0022__the_r_0418_0023__serpent the serpent r_0418_0024__that_r_0418_0025__watches->r_0418_0022__the_r_0418_0023__serpent [arg0] r_0418_0028__guards guards r_0418_0028__guards->r_0418_0014__the_r_0418_0016__treasure [arg1] r_0418_0028__guards->r_0418_0019__the_r_0418_0020__dragon [arg0] r_0418_0031__keeping_r_0418_0033__away keeping away r_0418_0031__keeping_r_0418_0033__away->r_0418_0019__the_r_0418_0020__dragon [arg0] z_000_418_a_dick_1952_94 r_0418_0031__keeping_r_0418_0033__away->z_000_418_a_dick_1952_94 [arg1] r_0418_0032__everyone_quant everyone [quant] r_0418_0032__everyone_quant->r_0418_0031__keeping_r_0418_0033__away [scope] r_0418_0032__everyone_quant->z_000_418_a_dick_1952_94 [restriction] z_000_418_a_dick_1952_29 z_000_418_a_dick_1952_29->r_0418_0005__the_r_0418_0006__legend [arg0] z_000_418_a_dick_1952_29->r_0418_0011__the_r_0418_0012__myth [prd] z_000_418_a_dick_1952_62 z_000_418_a_dick_1952_62->r_0418_0019__the_r_0418_0020__dragon [arg0] z_000_418_a_dick_1952_62->r_0418_0022__the_r_0418_0023__serpent [prd] z_000_418_a_dick_1952_90 z_000_418_a_dick_1952_90->r_0418_0028__guards [conj2] z_000_418_a_dick_1952_90->r_0418_0032__everyone_quant [conj1] 
fof(formula,axiom,
    ? [R_418_2_DO_REMEMBER,R_418_3_YOU,R_418_15_BURIED,Z_418_A_DICK_1952_44,R_418_24_THAT_WATCHES,Z_418_A_DICK_1952_29,R_418_5_THE_LEGEND,R_418_11_THE_MYTH,R_418_18_AND,Z_418_A_DICK_1952_62,R_418_22_THE_SERPENT,Z_418_A_DICK_1952_90,R_418_28_GUARDS,R_418_19_THE_DRAGON,R_418_14_THE_TREASURE] :
      ( you(R_418_3_YOU)
      & the_legend(R_418_5_THE_LEGEND)
      & the_serpent(R_418_22_THE_SERPENT)
      & the_dragon(R_418_19_THE_DRAGON)
      & the_treasure(R_418_14_THE_TREASURE)
      & do_remember(R_418_2_DO_REMEMBER,R_418_3_YOU,R_418_5_THE_LEGEND)
      & ! [R_418_9_RACES] :
          ( races(R_418_9_RACES)
         => ? [R_418_7_THAT_HAVE] : that_have(R_418_7_THAT_HAVE,R_418_9_RACES,R_418_5_THE_LEGEND) )
      & buried(R_418_15_BURIED,Z_418_A_DICK_1952_44,R_418_14_THE_TREASURE)
      & that_watches(R_418_24_THAT_WATCHES,R_418_22_THE_SERPENT,R_418_14_THE_TREASURE)
      & z_418_a_dick_1952_29(Z_418_A_DICK_1952_29,R_418_5_THE_LEGEND,R_418_11_THE_MYTH)
      & the_myth(R_418_11_THE_MYTH)
      & of(R_418_11_THE_MYTH,R_418_18_AND)
      & and(R_418_18_AND)
      & conj1(R_418_18_AND,R_418_14_THE_TREASURE)
      & conj2(R_418_18_AND,R_418_19_THE_DRAGON)
      & z_418_a_dick_1952_62(Z_418_A_DICK_1952_62,R_418_19_THE_DRAGON,R_418_22_THE_SERPENT)
      & ! [Z_418_A_DICK_1952_94] :
          ( true
         => ? [R_418_31_KEEPING_AWAY] : keeping_away(R_418_31_KEEPING_AWAY,R_418_19_THE_DRAGON,Z_418_A_DICK_1952_94) )
      & conj1(CONJ1)
      & z_418_a_dick_1952_90(Z_418_A_DICK_1952_90)
      & conj2(Z_418_A_DICK_1952_90,R_418_28_GUARDS)
      & guards(R_418_28_GUARDS,R_418_19_THE_DRAGON,R_418_14_THE_TREASURE) ) ).


n418_a_dick_1952 n418_a_dick_1952_3 <ldquo> n418_a_dick_1952_6 Do n418_a_dick_1952_9 you n418_a_dick_1952_11 remember n418_a_dick_1952_14 the n418_a_dick_1952_16 legend n418_a_dick_1952_19 that n418_a_dick_1952_21 *T* n418_a_dick_1952_24 all n418_a_dick_1952_26 races n418_a_dick_1952_28 have n418_a_dick_1952_32 the n418_a_dick_1952_34 myth n418_a_dick_1952_37 of n418_a_dick_1952_42 the n418_a_dick_1952_45 * n418_a_dick_1952_47 buried n418_a_dick_1952_49 treasure n418_a_dick_1952_51 , n418_a_dick_1952_54 and n418_a_dick_1952_57 the n418_a_dick_1952_59 dragon n418_a_dick_1952_61 , n418_a_dick_1952_65 the n418_a_dick_1952_67 serpent n418_a_dick_1952_70 that n418_a_dick_1952_72 *T* n418_a_dick_1952_74 watches n418_a_dick_1952_77 it n418_a_dick_1952_79 , n418_a_dick_1952_82 *T* n418_a_dick_1952_84 guards n418_a_dick_1952_87 it n418_a_dick_1952_89 , n418_a_dick_1952_93 keeping n418_a_dick_1952_96 everyone n418_a_dick_1952_98 away n418_a_dick_1952_100 ? n418_a_dick_1952_102 <rdquo> n418_a_dick_1952_1 CP-QUE-MAT n418_a_dick_1952_2 PULQ n418_a_dick_1952_1->n418_a_dick_1952_2 n418_a_dick_1952_4 IP-SUB n418_a_dick_1952_1->n418_a_dick_1952_4 n418_a_dick_1952_99 PUNC n418_a_dick_1952_1->n418_a_dick_1952_99 n418_a_dick_1952_101 PURQ n418_a_dick_1952_1->n418_a_dick_1952_101 n418_a_dick_1952_2->n418_a_dick_1952_3 n418_a_dick_1952_5 DOP n418_a_dick_1952_4->n418_a_dick_1952_5 n418_a_dick_1952_7 NP-SBJ n418_a_dick_1952_4->n418_a_dick_1952_7 n418_a_dick_1952_10 VB;_Tn_ n418_a_dick_1952_4->n418_a_dick_1952_10 n418_a_dick_1952_12 NP-OB1 n418_a_dick_1952_4->n418_a_dick_1952_12 n418_a_dick_1952_5->n418_a_dick_1952_6 n418_a_dick_1952_8 PRO n418_a_dick_1952_7->n418_a_dick_1952_8 n418_a_dick_1952_8->n418_a_dick_1952_9 n418_a_dick_1952_10->n418_a_dick_1952_11 n418_a_dick_1952_13 D n418_a_dick_1952_12->n418_a_dick_1952_13 n418_a_dick_1952_15 N n418_a_dick_1952_12->n418_a_dick_1952_15 n418_a_dick_1952_17 IP-REL n418_a_dick_1952_12->n418_a_dick_1952_17 n418_a_dick_1952_29 IP-PPL n418_a_dick_1952_12->n418_a_dick_1952_29 n418_a_dick_1952_13->n418_a_dick_1952_14 n418_a_dick_1952_15->n418_a_dick_1952_16 n418_a_dick_1952_18 C n418_a_dick_1952_17->n418_a_dick_1952_18 n418_a_dick_1952_20 NP-OB1 n418_a_dick_1952_17->n418_a_dick_1952_20 n418_a_dick_1952_22 NP-SBJ n418_a_dick_1952_17->n418_a_dick_1952_22 n418_a_dick_1952_27 HVP;_Tn_ n418_a_dick_1952_17->n418_a_dick_1952_27 n418_a_dick_1952_18->n418_a_dick_1952_19 n418_a_dick_1952_20->n418_a_dick_1952_21 n418_a_dick_1952_23 Q n418_a_dick_1952_22->n418_a_dick_1952_23 n418_a_dick_1952_25 NS n418_a_dick_1952_22->n418_a_dick_1952_25 n418_a_dick_1952_23->n418_a_dick_1952_24 n418_a_dick_1952_25->n418_a_dick_1952_26 n418_a_dick_1952_27->n418_a_dick_1952_28 n418_a_dick_1952_30 NP-PRD n418_a_dick_1952_29->n418_a_dick_1952_30 n418_a_dick_1952_31 D n418_a_dick_1952_30->n418_a_dick_1952_31 n418_a_dick_1952_33 N n418_a_dick_1952_30->n418_a_dick_1952_33 n418_a_dick_1952_35 PP n418_a_dick_1952_30->n418_a_dick_1952_35 n418_a_dick_1952_31->n418_a_dick_1952_32 n418_a_dick_1952_33->n418_a_dick_1952_34 n418_a_dick_1952_36 P-ROLE n418_a_dick_1952_35->n418_a_dick_1952_36 n418_a_dick_1952_38 NP n418_a_dick_1952_35->n418_a_dick_1952_38 n418_a_dick_1952_36->n418_a_dick_1952_37 n418_a_dick_1952_39 NLYR n418_a_dick_1952_38->n418_a_dick_1952_39 n418_a_dick_1952_40 NLYR n418_a_dick_1952_39->n418_a_dick_1952_40 n418_a_dick_1952_50 PUNC n418_a_dick_1952_39->n418_a_dick_1952_50 n418_a_dick_1952_52 CONJP n418_a_dick_1952_39->n418_a_dick_1952_52 n418_a_dick_1952_41 D n418_a_dick_1952_40->n418_a_dick_1952_41 n418_a_dick_1952_43 IP-PPL n418_a_dick_1952_40->n418_a_dick_1952_43 n418_a_dick_1952_48 N n418_a_dick_1952_40->n418_a_dick_1952_48 n418_a_dick_1952_41->n418_a_dick_1952_42 n418_a_dick_1952_44 NP-LGS n418_a_dick_1952_43->n418_a_dick_1952_44 n418_a_dick_1952_46 VVN;_Tn_ n418_a_dick_1952_43->n418_a_dick_1952_46 n418_a_dick_1952_44->n418_a_dick_1952_45 n418_a_dick_1952_46->n418_a_dick_1952_47 n418_a_dick_1952_48->n418_a_dick_1952_49 n418_a_dick_1952_50->n418_a_dick_1952_51 n418_a_dick_1952_53 CONJ n418_a_dick_1952_52->n418_a_dick_1952_53 n418_a_dick_1952_55 NLYR n418_a_dick_1952_52->n418_a_dick_1952_55 n418_a_dick_1952_53->n418_a_dick_1952_54 n418_a_dick_1952_56 D n418_a_dick_1952_55->n418_a_dick_1952_56 n418_a_dick_1952_58 N n418_a_dick_1952_55->n418_a_dick_1952_58 n418_a_dick_1952_60 PUNC n418_a_dick_1952_55->n418_a_dick_1952_60 n418_a_dick_1952_62 IP-PPL n418_a_dick_1952_55->n418_a_dick_1952_62 n418_a_dick_1952_78 PUNC n418_a_dick_1952_55->n418_a_dick_1952_78 n418_a_dick_1952_80 IP-REL n418_a_dick_1952_55->n418_a_dick_1952_80 n418_a_dick_1952_56->n418_a_dick_1952_57 n418_a_dick_1952_58->n418_a_dick_1952_59 n418_a_dick_1952_60->n418_a_dick_1952_61 n418_a_dick_1952_63 NP-PRD n418_a_dick_1952_62->n418_a_dick_1952_63 n418_a_dick_1952_64 D n418_a_dick_1952_63->n418_a_dick_1952_64 n418_a_dick_1952_66 N n418_a_dick_1952_63->n418_a_dick_1952_66 n418_a_dick_1952_68 IP-REL n418_a_dick_1952_63->n418_a_dick_1952_68 n418_a_dick_1952_64->n418_a_dick_1952_65 n418_a_dick_1952_66->n418_a_dick_1952_67 n418_a_dick_1952_69 C n418_a_dick_1952_68->n418_a_dick_1952_69 n418_a_dick_1952_71 NP-SBJ n418_a_dick_1952_68->n418_a_dick_1952_71 n418_a_dick_1952_73 VBP;_Tn_ n418_a_dick_1952_68->n418_a_dick_1952_73 n418_a_dick_1952_75 NP-OB1 n418_a_dick_1952_68->n418_a_dick_1952_75 n418_a_dick_1952_69->n418_a_dick_1952_70 n418_a_dick_1952_71->n418_a_dick_1952_72 n418_a_dick_1952_73->n418_a_dick_1952_74 n418_a_dick_1952_76 PRO n418_a_dick_1952_75->n418_a_dick_1952_76 n418_a_dick_1952_76->n418_a_dick_1952_77 n418_a_dick_1952_78->n418_a_dick_1952_79 n418_a_dick_1952_81 NP-SBJ n418_a_dick_1952_80->n418_a_dick_1952_81 n418_a_dick_1952_83 VBP;_Tn_ n418_a_dick_1952_80->n418_a_dick_1952_83 n418_a_dick_1952_85 NP-OB1 n418_a_dick_1952_80->n418_a_dick_1952_85 n418_a_dick_1952_88 PUNC n418_a_dick_1952_80->n418_a_dick_1952_88 n418_a_dick_1952_90 PP-SCON n418_a_dick_1952_80->n418_a_dick_1952_90 n418_a_dick_1952_81->n418_a_dick_1952_82 n418_a_dick_1952_83->n418_a_dick_1952_84 n418_a_dick_1952_86 PRO n418_a_dick_1952_85->n418_a_dick_1952_86 n418_a_dick_1952_86->n418_a_dick_1952_87 n418_a_dick_1952_88->n418_a_dick_1952_89 n418_a_dick_1952_91 IP-PPL2 n418_a_dick_1952_90->n418_a_dick_1952_91 n418_a_dick_1952_92 VAG;_phr_Vn<=>p_ n418_a_dick_1952_91->n418_a_dick_1952_92 n418_a_dick_1952_94 NP-OB1 n418_a_dick_1952_91->n418_a_dick_1952_94 n418_a_dick_1952_97 RP n418_a_dick_1952_91->n418_a_dick_1952_97 n418_a_dick_1952_92->n418_a_dick_1952_93 n418_a_dick_1952_95 Q;_nphd_ n418_a_dick_1952_94->n418_a_dick_1952_95 n418_a_dick_1952_95->n418_a_dick_1952_96 n418_a_dick_1952_97->n418_a_dick_1952_98 n418_a_dick_1952_99->n418_a_dick_1952_100 n418_a_dick_1952_101->n418_a_dick_1952_102 
( (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))