Context                Previous, Next                Top


597_a_dick_1952
But those wings —

%3 r_0597_0001__But But r_0597_0002__those_r_0597_0003__wings those wings r_0597_0001__But->r_0597_0002__those_r_0597_0003__wings [nim] 
arc(r_0597_0001__But, r_0597_0002__those_r_0597_0003__wings, nim4).


%3 r_0597_0001__But But r_0597_0002__those_r_0597_0003__wings those wings r_0597_0001__But->r_0597_0002__those_r_0597_0003__wings [nim] 
fof(formula,axiom,
    ? [R_0597_0002__THOSE_R_0597_0003__WINGS,R_0597_0001__BUT] :
      ( r_0597_0002__those_r_0597_0003__wings(R_0597_0002__THOSE_R_0597_0003__WINGS)
      & r_0597_0001__But(R_0597_0001__BUT)
      & has_nim4(R_0597_0001__BUT,R_0597_0002__THOSE_R_0597_0003__WINGS) ) ).


n597_a_dick_1952 n597_a_dick_1952__1_1_1 But n597_a_dick_1952__1_2_1_1 those n597_a_dick_1952__1_2_2_1 wings n597_a_dick_1952__1_3_1 <mdash> n597_a_dick_1952__1 FRAG n597_a_dick_1952__1_1 CONJ n597_a_dick_1952__1->n597_a_dick_1952__1_1 n597_a_dick_1952__1_2 NP n597_a_dick_1952__1->n597_a_dick_1952__1_2 n597_a_dick_1952__1_3 PUNC n597_a_dick_1952__1->n597_a_dick_1952__1_3 n597_a_dick_1952__1_1->n597_a_dick_1952__1_1_1 n597_a_dick_1952__1_2_1 D n597_a_dick_1952__1_2->n597_a_dick_1952__1_2_1 n597_a_dick_1952__1_2_2 NS n597_a_dick_1952__1_2->n597_a_dick_1952__1_2_2 n597_a_dick_1952__1_2_1->n597_a_dick_1952__1_2_1_1 n597_a_dick_1952__1_2_2->n597_a_dick_1952__1_2_2_1 n597_a_dick_1952__1_3->n597_a_dick_1952__1_3_1 
( (FRAG (CONJ But;{but})
        (NP (D those;{those})
            (NS wings;{wing}))
        (PUNC <mdash>))
  (ID 597_a_dick_1952))