Context                Previous, Next                Top


455_a_dick_1952
They were in a vault.

%3 r_0455_0002__were were r_0455_0001__They They r_0455_0002__were->r_0455_0001__They [arg0] r_0455_0004__a_r_0455_0005__vault a vault r_0455_0002__were->r_0455_0004__a_r_0455_0005__vault in [clr] 
arc(r_0455_0002__were, r_0455_0001__They, arg0).
arc(r_0455_0002__were, r_0455_0004__a_r_0455_0005__vault, r_0455_0003__in_clr10).


%3 r_0455_0002__were were r_0455_0001__They They r_0455_0002__were->r_0455_0001__They [arg0] r_0455_0004__a_r_0455_0005__vault a vault r_0455_0002__were->r_0455_0004__a_r_0455_0005__vault in [clr] 
fof(formula,axiom,
    ? [R_455_2_WERE,R_455_1_THEY,R_455_4_A_VAULT] :
      ( they(R_455_1_THEY)
      & a_vault(R_455_4_A_VAULT)
      & were(R_455_2_WERE,R_455_1_THEY)
      & in_clr10(R_455_2_WERE,R_455_4_A_VAULT) ) ).


n455_a_dick_1952 n455_a_dick_1952_4 They n455_a_dick_1952_6 were n455_a_dick_1952_9 in n455_a_dick_1952_12 a n455_a_dick_1952_14 vault n455_a_dick_1952_16 . n455_a_dick_1952_1 IP-MAT n455_a_dick_1952_2 NP-SBJ n455_a_dick_1952_1->n455_a_dick_1952_2 n455_a_dick_1952_5 BED;_Ipr_ n455_a_dick_1952_1->n455_a_dick_1952_5 n455_a_dick_1952_7 PP-CLR n455_a_dick_1952_1->n455_a_dick_1952_7 n455_a_dick_1952_15 PUNC n455_a_dick_1952_1->n455_a_dick_1952_15 n455_a_dick_1952_3 PRO n455_a_dick_1952_2->n455_a_dick_1952_3 n455_a_dick_1952_3->n455_a_dick_1952_4 n455_a_dick_1952_5->n455_a_dick_1952_6 n455_a_dick_1952_8 P-ROLE n455_a_dick_1952_7->n455_a_dick_1952_8 n455_a_dick_1952_10 NP n455_a_dick_1952_7->n455_a_dick_1952_10 n455_a_dick_1952_8->n455_a_dick_1952_9 n455_a_dick_1952_11 D n455_a_dick_1952_10->n455_a_dick_1952_11 n455_a_dick_1952_13 N n455_a_dick_1952_10->n455_a_dick_1952_13 n455_a_dick_1952_11->n455_a_dick_1952_12 n455_a_dick_1952_13->n455_a_dick_1952_14 n455_a_dick_1952_15->n455_a_dick_1952_16 
( (IP-MAT (NP-SBJ;{DORLE_NASHA_TANCE} (PRO They;{they}))
          (BED;_Ipr_ were;{be[in]})
          (PP-CLR (P-ROLE in;{in})
                  (NP (D a;{a})
                      (N vault;{vault})))
          (PUNC .))
  (ID 455_a_dick_1952))