Context                Previous, Next                Top


570_a_dick_1952
The people went down into the vault and examined the treasure.

%3 r_0570_0003__went went r_0570_0001__The_r_0570_0002__people The people r_0570_0003__went->r_0570_0001__The_r_0570_0002__people [arg0] r_0570_0005__the_r_0570_0006__vault the vault r_0570_0003__went->r_0570_0005__the_r_0570_0006__vault down into [clr] r_0570_0007__and and r_0570_0007__and->r_0570_0003__went [conj1] r_0570_0008__examined examined r_0570_0007__and->r_0570_0008__examined [conj2] r_0570_0008__examined->r_0570_0001__The_r_0570_0002__people [arg0] r_0570_0009__the_r_0570_0010__treasure the treasure r_0570_0008__examined->r_0570_0009__the_r_0570_0010__treasure [arg1] 
arc(r_0570_0003__went, r_0570_0001__The_r_0570_0002__people, arg0).
arc(r_0570_0003__went, r_0570_0005__the_r_0570_0006__vault, r_0570_0004__down_into_clr14).
arc(r_0570_0007__and, r_0570_0003__went, conj1).
arc(r_0570_0007__and, r_0570_0008__examined, conj2).
arc(r_0570_0008__examined, r_0570_0001__The_r_0570_0002__people, arg0).
arc(r_0570_0008__examined, r_0570_0009__the_r_0570_0010__treasure, arg1).


%3 r_0570_0003__went went r_0570_0001__The_r_0570_0002__people The people r_0570_0003__went->r_0570_0001__The_r_0570_0002__people [arg0] r_0570_0005__the_r_0570_0006__vault the vault r_0570_0003__went->r_0570_0005__the_r_0570_0006__vault down into [clr] r_0570_0007__and and r_0570_0007__and->r_0570_0003__went [conj1] r_0570_0008__examined examined r_0570_0007__and->r_0570_0008__examined [conj2] r_0570_0008__examined->r_0570_0001__The_r_0570_0002__people [arg0] r_0570_0009__the_r_0570_0010__treasure the treasure r_0570_0008__examined->r_0570_0009__the_r_0570_0010__treasure [arg1] 
fof(formula,axiom,
    ? [R_570_7_AND,R_570_3_WENT,R_570_5_THE_VAULT,R_570_8_EXAMINED,R_570_1_THE_PEOPLE,R_570_9_THE_TREASURE] :
      ( the_vault(R_570_5_THE_VAULT)
      & the_people(R_570_1_THE_PEOPLE)
      & the_treasure(R_570_9_THE_TREASURE)
      & and(R_570_7_AND)
      & conj1(R_570_7_AND,R_570_3_WENT)
      & went(R_570_3_WENT,R_570_1_THE_PEOPLE)
      & down_into_clr14(R_570_3_WENT,R_570_5_THE_VAULT)
      & conj2(R_570_7_AND,R_570_8_EXAMINED)
      & examined(R_570_8_EXAMINED,R_570_1_THE_PEOPLE,R_570_9_THE_TREASURE) ) ).


n570_a_dick_1952 n570_a_dick_1952_4 The n570_a_dick_1952_6 people n570_a_dick_1952_10 went n570_a_dick_1952_13 down_into n570_a_dick_1952_16 the n570_a_dick_1952_18 vault n570_a_dick_1952_21 and n570_a_dick_1952_24 examined n570_a_dick_1952_27 the n570_a_dick_1952_29 treasure n570_a_dick_1952_31 . n570_a_dick_1952_1 IP-MAT n570_a_dick_1952_2 NP-SBJ n570_a_dick_1952_1->n570_a_dick_1952_2 n570_a_dick_1952_7 ILYR n570_a_dick_1952_1->n570_a_dick_1952_7 n570_a_dick_1952_30 PUNC n570_a_dick_1952_1->n570_a_dick_1952_30 n570_a_dick_1952_3 D n570_a_dick_1952_2->n570_a_dick_1952_3 n570_a_dick_1952_5 NS n570_a_dick_1952_2->n570_a_dick_1952_5 n570_a_dick_1952_3->n570_a_dick_1952_4 n570_a_dick_1952_5->n570_a_dick_1952_6 n570_a_dick_1952_8 ILYR n570_a_dick_1952_7->n570_a_dick_1952_8 n570_a_dick_1952_19 CONJP n570_a_dick_1952_7->n570_a_dick_1952_19 n570_a_dick_1952_9 VBD;_Ipr_ n570_a_dick_1952_8->n570_a_dick_1952_9 n570_a_dick_1952_11 PP-CLR n570_a_dick_1952_8->n570_a_dick_1952_11 n570_a_dick_1952_9->n570_a_dick_1952_10 n570_a_dick_1952_12 P-ROLE n570_a_dick_1952_11->n570_a_dick_1952_12 n570_a_dick_1952_14 NP n570_a_dick_1952_11->n570_a_dick_1952_14 n570_a_dick_1952_12->n570_a_dick_1952_13 n570_a_dick_1952_15 D n570_a_dick_1952_14->n570_a_dick_1952_15 n570_a_dick_1952_17 N n570_a_dick_1952_14->n570_a_dick_1952_17 n570_a_dick_1952_15->n570_a_dick_1952_16 n570_a_dick_1952_17->n570_a_dick_1952_18 n570_a_dick_1952_20 CONJ n570_a_dick_1952_19->n570_a_dick_1952_20 n570_a_dick_1952_22 ILYR n570_a_dick_1952_19->n570_a_dick_1952_22 n570_a_dick_1952_20->n570_a_dick_1952_21 n570_a_dick_1952_23 VBD;_Tn_ n570_a_dick_1952_22->n570_a_dick_1952_23 n570_a_dick_1952_25 NP-OB1 n570_a_dick_1952_22->n570_a_dick_1952_25 n570_a_dick_1952_23->n570_a_dick_1952_24 n570_a_dick_1952_26 D n570_a_dick_1952_25->n570_a_dick_1952_26 n570_a_dick_1952_28 N n570_a_dick_1952_25->n570_a_dick_1952_28 n570_a_dick_1952_26->n570_a_dick_1952_27 n570_a_dick_1952_28->n570_a_dick_1952_29 n570_a_dick_1952_30->n570_a_dick_1952_31 
( (IP-MAT (NP-SBJ;{TRESPASSERS} (D The;{the})
                                (NS people;{people}))
          (ILYR (ILYR (VBD;_Ipr_ went;{go[down_into]})
                      (PP-CLR (P-ROLE down_into;{down_into})
                              (NP (D the;{the})
                                  (N vault;{vault}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn_ examined;{examine})
                             (NP-OB1;{TREASURE} (D the;{the})
                                                (N treasure;{treasure})))))
          (PUNC .))
  (ID 570_a_dick_1952))