455_a_dick_1952
They were in a vault.
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).
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) ) ).
( (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))