Context                Previous, Next                Top


34_a_dick_1952
But didn't we expect all this?

%3 r_0034_0001__But_r_0034_0002__did_r_0034_0005__expect But did expect r_0034_0004__we we r_0034_0001__But_r_0034_0002__did_r_0034_0005__expect->r_0034_0004__we [arg0] r_0034_0007__this this r_0034_0001__But_r_0034_0002__did_r_0034_0005__expect->r_0034_0007__this [arg1] r_0034_0003__n_apos_t n't r_0034_0006__all_quant all [quant] r_0034_0003__n_apos_t->r_0034_0006__all_quant [keep_scope] r_0034_0006__all_quant->r_0034_0001__But_r_0034_0002__did_r_0034_0005__expect [scope] r_0034_0006__all_quant->r_0034_0007__this [restriction] 
arc(r_0034_0001__But_r_0034_0002__did_r_0034_0005__expect, r_0034_0004__we, arg0).
arc(r_0034_0001__But_r_0034_0002__did_r_0034_0005__expect, r_0034_0007__this, arg1).
arc(r_0034_0003__n_apos_t, r_0034_0006__all_quant, keep_scope).
arc(r_0034_0006__all_quant, r_0034_0001__But_r_0034_0002__did_r_0034_0005__expect, scope).
arc(r_0034_0006__all_quant, r_0034_0007__this, restriction).


%3 r_0034_0006__all_quant all [quant] r_0034_0007__this this r_0034_0006__all_quant->r_0034_0007__this [restriction] r_0034_0001__But_r_0034_0002__did_r_0034_0005__expect But did expect r_0034_0006__all_quant->r_0034_0001__But_r_0034_0002__did_r_0034_0005__expect [scope] r_0034_0001__But_r_0034_0002__did_r_0034_0005__expect->r_0034_0007__this [arg1] r_0034_0004__we we r_0034_0001__But_r_0034_0002__did_r_0034_0005__expect->r_0034_0004__we [arg0] r_0034_0003__n_apos_t n't r_0034_0003__n_apos_t->r_0034_0006__all_quant [keep_scope] 
fof(formula,axiom,
    ~ ! [R_34_7_THIS] :
        ( this(R_34_7_THIS)
       => ? [R_34_1_BUT_DID_EXPECT,R_34_4_WE] :
            ( we(R_34_4_WE)
            & but_did_expect(R_34_1_BUT_DID_EXPECT,R_34_4_WE,R_34_7_THIS) ) ) ).


n34_a_dick_1952 n34_a_dick_1952__1_1_1_1 But n34_a_dick_1952__1_1_2_1 did n34_a_dick_1952__1_1_3_1 n't n34_a_dick_1952__1_1_4_1_1 we n34_a_dick_1952__1_1_5_1 expect n34_a_dick_1952__1_1_6_1_1 all n34_a_dick_1952__1_1_6_2_1 this n34_a_dick_1952__1_2_1 ? n34_a_dick_1952__1 CP-QUE-MAT n34_a_dick_1952__1_1 IP-SUB n34_a_dick_1952__1->n34_a_dick_1952__1_1 n34_a_dick_1952__1_2 PUNC n34_a_dick_1952__1->n34_a_dick_1952__1_2 n34_a_dick_1952__1_1_1 CONJ;_cl_ n34_a_dick_1952__1_1->n34_a_dick_1952__1_1_1 n34_a_dick_1952__1_1_2 DOD n34_a_dick_1952__1_1->n34_a_dick_1952__1_1_2 n34_a_dick_1952__1_1_3 NEG;_clitic_ n34_a_dick_1952__1_1->n34_a_dick_1952__1_1_3 n34_a_dick_1952__1_1_4 NP-SBJ n34_a_dick_1952__1_1->n34_a_dick_1952__1_1_4 n34_a_dick_1952__1_1_5 VB;_Tn_ n34_a_dick_1952__1_1->n34_a_dick_1952__1_1_5 n34_a_dick_1952__1_1_6 NP-OB1 n34_a_dick_1952__1_1->n34_a_dick_1952__1_1_6 n34_a_dick_1952__1_1_1->n34_a_dick_1952__1_1_1_1 n34_a_dick_1952__1_1_2->n34_a_dick_1952__1_1_2_1 n34_a_dick_1952__1_1_3->n34_a_dick_1952__1_1_3_1 n34_a_dick_1952__1_1_4_1 PRO n34_a_dick_1952__1_1_4->n34_a_dick_1952__1_1_4_1 n34_a_dick_1952__1_1_4_1->n34_a_dick_1952__1_1_4_1_1 n34_a_dick_1952__1_1_5->n34_a_dick_1952__1_1_5_1 n34_a_dick_1952__1_1_6_1 Q;_nphd_ n34_a_dick_1952__1_1_6->n34_a_dick_1952__1_1_6_1 n34_a_dick_1952__1_1_6_2 D;_nphd_ n34_a_dick_1952__1_1_6->n34_a_dick_1952__1_1_6_2 n34_a_dick_1952__1_1_6_1->n34_a_dick_1952__1_1_6_1_1 n34_a_dick_1952__1_1_6_2->n34_a_dick_1952__1_1_6_2_1 n34_a_dick_1952__1_2->n34_a_dick_1952__1_2_1 
( (CP-QUE-MAT (IP-SUB (CONJ;_cl_ But;{but})
                      (DOD did;{do})
                      (NEG;_clitic_ n<apos>t;{not})
                      (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                      (VB;_Tn_ expect;{expect})
                      (NP-OB1 (Q;_nphd_ all;{all})
                              (D;_nphd_ this;{this})))
              (PUNC ?))
  (ID 34_a_dick_1952))