Context                Previous, Next                Top


546_a_dick_1952
But that's all!

%3 r_0546_0001__But_r_0546_0003___apos_s But 's r_0546_0002__that that r_0546_0001__But_r_0546_0003___apos_s->r_0546_0002__that [arg0] z_000_546_a_dick_1952_9 r_0546_0001__But_r_0546_0003___apos_s->z_000_546_a_dick_1952_9 [prd] r_0546_0004__all_quant all [quant] r_0546_0004__all_quant->r_0546_0001__But_r_0546_0003___apos_s [scope] r_0546_0004__all_quant->z_000_546_a_dick_1952_9 [restriction] 
arc(r_0546_0001__But_r_0546_0003___apos_s, r_0546_0002__that, arg0).
arc(r_0546_0001__But_r_0546_0003___apos_s, z_000_546_a_dick_1952_9, prd).
arc(r_0546_0004__all_quant, r_0546_0001__But_r_0546_0003___apos_s, scope).
arc(r_0546_0004__all_quant, z_000_546_a_dick_1952_9, restriction).


%3 r_0546_0001__But_r_0546_0003___apos_s But 's r_0546_0002__that that r_0546_0001__But_r_0546_0003___apos_s->r_0546_0002__that [arg0] z_000_546_a_dick_1952_9 r_0546_0001__But_r_0546_0003___apos_s->z_000_546_a_dick_1952_9 [prd] r_0546_0004__all_quant all [quant] r_0546_0004__all_quant->r_0546_0001__But_r_0546_0003___apos_s [scope] r_0546_0004__all_quant->z_000_546_a_dick_1952_9 [restriction] 
fof(formula,axiom,
    ! [Z_546_A_DICK_1952_9] :
      ( true
     => ? [R_546_1_BUT_APOS_S,R_546_2_THAT] :
          ( that(R_546_2_THAT)
          & but_apos_s(R_546_1_BUT_APOS_S,R_546_2_THAT,Z_546_A_DICK_1952_9) ) ) ).


n546_a_dick_1952 n546_a_dick_1952_3 But n546_a_dick_1952_6 that n546_a_dick_1952_8 's n546_a_dick_1952_11 all n546_a_dick_1952_13 ! n546_a_dick_1952_1 IP-MAT n546_a_dick_1952_2 CONJ;_cl_ n546_a_dick_1952_1->n546_a_dick_1952_2 n546_a_dick_1952_4 NP-SBJ n546_a_dick_1952_1->n546_a_dick_1952_4 n546_a_dick_1952_7 BEP;_Ln_ n546_a_dick_1952_1->n546_a_dick_1952_7 n546_a_dick_1952_9 NP-PRD n546_a_dick_1952_1->n546_a_dick_1952_9 n546_a_dick_1952_12 PUNC n546_a_dick_1952_1->n546_a_dick_1952_12 n546_a_dick_1952_2->n546_a_dick_1952_3 n546_a_dick_1952_5 D;_nphd_ n546_a_dick_1952_4->n546_a_dick_1952_5 n546_a_dick_1952_5->n546_a_dick_1952_6 n546_a_dick_1952_7->n546_a_dick_1952_8 n546_a_dick_1952_10 Q;_nphd_ n546_a_dick_1952_9->n546_a_dick_1952_10 n546_a_dick_1952_10->n546_a_dick_1952_11 n546_a_dick_1952_12->n546_a_dick_1952_13 
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (D;_nphd_ that;{that}))
          (BEP;_Ln_ <apos>s;{be})
          (NP-PRD (Q;_nphd_ all;{all}))
          (PUNC !))
  (ID 546_a_dick_1952))