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_0034_0007__THIS] :
        ( r_0034_0007__this(R_0034_0007__THIS)
       => ? [R_0034_0004__WE,R_0034_0001__BUT_R_0034_0002__DID_R_0034_0005__EXPECT] :
            ( r_0034_0004__we(R_0034_0004__WE)
            & r_0034_0001__But_r_0034_0002__did_r_0034_0005__expect(R_0034_0001__BUT_R_0034_0002__DID_R_0034_0005__EXPECT)
            & has_arg1(R_0034_0001__BUT_R_0034_0002__DID_R_0034_0005__EXPECT,R_0034_0007__THIS)
            & has_arg0(R_0034_0001__BUT_R_0034_0002__DID_R_0034_0005__EXPECT,R_0034_0004__WE) ) ) ).


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))