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