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_597_1_BUT,R_597_2_THOSE_WINGS] :
      ( those_wings(R_597_2_THOSE_WINGS)
      & but(R_597_1_BUT)
      & nim4(R_597_1_BUT,R_597_2_THOSE_WINGS) ) ).


n597_a_dick_1952 n597_a_dick_1952_3 But n597_a_dick_1952_6 those n597_a_dick_1952_8 wings n597_a_dick_1952_10 <mdash> n597_a_dick_1952_1 FRAG n597_a_dick_1952_2 CONJ n597_a_dick_1952_1->n597_a_dick_1952_2 n597_a_dick_1952_4 NP n597_a_dick_1952_1->n597_a_dick_1952_4 n597_a_dick_1952_9 PUNC n597_a_dick_1952_1->n597_a_dick_1952_9 n597_a_dick_1952_2->n597_a_dick_1952_3 n597_a_dick_1952_5 D n597_a_dick_1952_4->n597_a_dick_1952_5 n597_a_dick_1952_7 NS n597_a_dick_1952_4->n597_a_dick_1952_7 n597_a_dick_1952_5->n597_a_dick_1952_6 n597_a_dick_1952_7->n597_a_dick_1952_8 n597_a_dick_1952_9->n597_a_dick_1952_10 
( (FRAG (CONJ But;{but})
        (NP (D those;{those})
            (NS wings;{wing}))
        (PUNC <mdash>))
  (ID 597_a_dick_1952))