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_0004__all_quant all [quant] z_000_546_a_dick_1952_9 r_0546_0004__all_quant->z_000_546_a_dick_1952_9 [restriction] r_0546_0001__But_r_0546_0003___apos_s But 's r_0546_0004__all_quant->r_0546_0001__But_r_0546_0003___apos_s [scope] r_0546_0001__But_r_0546_0003___apos_s->z_000_546_a_dick_1952_9 [prd] r_0546_0002__that that r_0546_0001__But_r_0546_0003___apos_s->r_0546_0002__that [arg0] 
fof(formula,axiom,
    ! [Z_000_546_A_DICK_1952_9] :
      ( z_000_546_a_dick_1952_9(Z_000_546_A_DICK_1952_9)
     => ? [R_0546_0002__THAT,R_0546_0001__BUT_R_0546_0003___APOS_S] :
          ( r_0546_0002__that(R_0546_0002__THAT)
          & r_0546_0001__But_r_0546_0003___apos_s(R_0546_0001__BUT_R_0546_0003___APOS_S)
          & has_prd(R_0546_0001__BUT_R_0546_0003___APOS_S,Z_000_546_A_DICK_1952_9)
          & has_arg0(R_0546_0001__BUT_R_0546_0003___APOS_S,R_0546_0002__THAT) ) ) ).


n546_a_dick_1952 n546_a_dick_1952__1_1_1 But n546_a_dick_1952__1_2_1_1 that n546_a_dick_1952__1_3_1 's n546_a_dick_1952__1_4_1_1 all n546_a_dick_1952__1_5_1 ! n546_a_dick_1952__1 IP-MAT n546_a_dick_1952__1_1 CONJ;_cl_ n546_a_dick_1952__1->n546_a_dick_1952__1_1 n546_a_dick_1952__1_2 NP-SBJ n546_a_dick_1952__1->n546_a_dick_1952__1_2 n546_a_dick_1952__1_3 BEP;_Ln_ n546_a_dick_1952__1->n546_a_dick_1952__1_3 n546_a_dick_1952__1_4 NP-PRD n546_a_dick_1952__1->n546_a_dick_1952__1_4 n546_a_dick_1952__1_5 PUNC n546_a_dick_1952__1->n546_a_dick_1952__1_5 n546_a_dick_1952__1_1->n546_a_dick_1952__1_1_1 n546_a_dick_1952__1_2_1 D;_nphd_ n546_a_dick_1952__1_2->n546_a_dick_1952__1_2_1 n546_a_dick_1952__1_2_1->n546_a_dick_1952__1_2_1_1 n546_a_dick_1952__1_3->n546_a_dick_1952__1_3_1 n546_a_dick_1952__1_4_1 Q;_nphd_ n546_a_dick_1952__1_4->n546_a_dick_1952__1_4_1 n546_a_dick_1952__1_4_1->n546_a_dick_1952__1_4_1_1 n546_a_dick_1952__1_5->n546_a_dick_1952__1_5_1 
( (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))