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_0008__examined examined r_0570_0009__the_r_0570_0010__treasure the treasure r_0570_0008__examined->r_0570_0009__the_r_0570_0010__treasure [arg1] r_0570_0001__The_r_0570_0002__people The people r_0570_0008__examined->r_0570_0001__The_r_0570_0002__people [arg0] r_0570_0007__and and r_0570_0007__and->r_0570_0008__examined [conj2] r_0570_0003__went went r_0570_0007__and->r_0570_0003__went [conj1] 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] 
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__1_1_1_1 The n570_a_dick_1952__1_1_2_1 people n570_a_dick_1952__1_2_1_1_1 went n570_a_dick_1952__1_2_1_2_1_1 down_into n570_a_dick_1952__1_2_1_2_2_1_1 the n570_a_dick_1952__1_2_1_2_2_2_1 vault n570_a_dick_1952__1_2_2_1_1 and n570_a_dick_1952__1_2_2_2_1_1 examined n570_a_dick_1952__1_2_2_2_2_1_1 the n570_a_dick_1952__1_2_2_2_2_2_1 treasure n570_a_dick_1952__1_3_1 . n570_a_dick_1952__1 IP-MAT n570_a_dick_1952__1_1 NP-SBJ n570_a_dick_1952__1->n570_a_dick_1952__1_1 n570_a_dick_1952__1_2 ILYR n570_a_dick_1952__1->n570_a_dick_1952__1_2 n570_a_dick_1952__1_3 PUNC n570_a_dick_1952__1->n570_a_dick_1952__1_3 n570_a_dick_1952__1_1_1 D n570_a_dick_1952__1_1->n570_a_dick_1952__1_1_1 n570_a_dick_1952__1_1_2 NS n570_a_dick_1952__1_1->n570_a_dick_1952__1_1_2 n570_a_dick_1952__1_1_1->n570_a_dick_1952__1_1_1_1 n570_a_dick_1952__1_1_2->n570_a_dick_1952__1_1_2_1 n570_a_dick_1952__1_2_1 ILYR n570_a_dick_1952__1_2->n570_a_dick_1952__1_2_1 n570_a_dick_1952__1_2_2 CONJP n570_a_dick_1952__1_2->n570_a_dick_1952__1_2_2 n570_a_dick_1952__1_2_1_1 VBD;_Ipr_ n570_a_dick_1952__1_2_1->n570_a_dick_1952__1_2_1_1 n570_a_dick_1952__1_2_1_2 PP-CLR n570_a_dick_1952__1_2_1->n570_a_dick_1952__1_2_1_2 n570_a_dick_1952__1_2_1_1->n570_a_dick_1952__1_2_1_1_1 n570_a_dick_1952__1_2_1_2_1 P-ROLE n570_a_dick_1952__1_2_1_2->n570_a_dick_1952__1_2_1_2_1 n570_a_dick_1952__1_2_1_2_2 NP n570_a_dick_1952__1_2_1_2->n570_a_dick_1952__1_2_1_2_2 n570_a_dick_1952__1_2_1_2_1->n570_a_dick_1952__1_2_1_2_1_1 n570_a_dick_1952__1_2_1_2_2_1 D n570_a_dick_1952__1_2_1_2_2->n570_a_dick_1952__1_2_1_2_2_1 n570_a_dick_1952__1_2_1_2_2_2 N n570_a_dick_1952__1_2_1_2_2->n570_a_dick_1952__1_2_1_2_2_2 n570_a_dick_1952__1_2_1_2_2_1->n570_a_dick_1952__1_2_1_2_2_1_1 n570_a_dick_1952__1_2_1_2_2_2->n570_a_dick_1952__1_2_1_2_2_2_1 n570_a_dick_1952__1_2_2_1 CONJ n570_a_dick_1952__1_2_2->n570_a_dick_1952__1_2_2_1 n570_a_dick_1952__1_2_2_2 ILYR n570_a_dick_1952__1_2_2->n570_a_dick_1952__1_2_2_2 n570_a_dick_1952__1_2_2_1->n570_a_dick_1952__1_2_2_1_1 n570_a_dick_1952__1_2_2_2_1 VBD;_Tn_ n570_a_dick_1952__1_2_2_2->n570_a_dick_1952__1_2_2_2_1 n570_a_dick_1952__1_2_2_2_2 NP-OB1 n570_a_dick_1952__1_2_2_2->n570_a_dick_1952__1_2_2_2_2 n570_a_dick_1952__1_2_2_2_1->n570_a_dick_1952__1_2_2_2_1_1 n570_a_dick_1952__1_2_2_2_2_1 D n570_a_dick_1952__1_2_2_2_2->n570_a_dick_1952__1_2_2_2_2_1 n570_a_dick_1952__1_2_2_2_2_2 N n570_a_dick_1952__1_2_2_2_2->n570_a_dick_1952__1_2_2_2_2_2 n570_a_dick_1952__1_2_2_2_2_1->n570_a_dick_1952__1_2_2_2_2_1_1 n570_a_dick_1952__1_2_2_2_2_2->n570_a_dick_1952__1_2_2_2_2_2_1 n570_a_dick_1952__1_3->n570_a_dick_1952__1_3_1 
( (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))