Context                Previous, Next                Top


377_a_dick_1952
All those vanes and tubes.

n377_a_dick_1952 n377_a_dick_1952__1_1_1_1 All n377_a_dick_1952__1_1_2_1_1 those n377_a_dick_1952__1_1_2_2_1_1_1 vanes n377_a_dick_1952__1_1_2_2_2_1_1 and n377_a_dick_1952__1_1_2_2_2_2_1_1 tubes n377_a_dick_1952__1_2_1 . n377_a_dick_1952__1 FRAG n377_a_dick_1952__1_1 NP n377_a_dick_1952__1->n377_a_dick_1952__1_1 n377_a_dick_1952__1_2 PUNC n377_a_dick_1952__1->n377_a_dick_1952__1_2 n377_a_dick_1952__1_1_1 Q;_nphd_ n377_a_dick_1952__1_1->n377_a_dick_1952__1_1_1 n377_a_dick_1952__1_1_2 NLYR n377_a_dick_1952__1_1->n377_a_dick_1952__1_1_2 n377_a_dick_1952__1_1_1->n377_a_dick_1952__1_1_1_1 n377_a_dick_1952__1_1_2_1 D n377_a_dick_1952__1_1_2->n377_a_dick_1952__1_1_2_1 n377_a_dick_1952__1_1_2_2 NLYR n377_a_dick_1952__1_1_2->n377_a_dick_1952__1_1_2_2 n377_a_dick_1952__1_1_2_1->n377_a_dick_1952__1_1_2_1_1 n377_a_dick_1952__1_1_2_2_1 NLYR n377_a_dick_1952__1_1_2_2->n377_a_dick_1952__1_1_2_2_1 n377_a_dick_1952__1_1_2_2_2 CONJP n377_a_dick_1952__1_1_2_2->n377_a_dick_1952__1_1_2_2_2 n377_a_dick_1952__1_1_2_2_1_1 NS n377_a_dick_1952__1_1_2_2_1->n377_a_dick_1952__1_1_2_2_1_1 n377_a_dick_1952__1_1_2_2_1_1->n377_a_dick_1952__1_1_2_2_1_1_1 n377_a_dick_1952__1_1_2_2_2_1 CONJ n377_a_dick_1952__1_1_2_2_2->n377_a_dick_1952__1_1_2_2_2_1 n377_a_dick_1952__1_1_2_2_2_2 NLYR n377_a_dick_1952__1_1_2_2_2->n377_a_dick_1952__1_1_2_2_2_2 n377_a_dick_1952__1_1_2_2_2_1->n377_a_dick_1952__1_1_2_2_2_1_1 n377_a_dick_1952__1_1_2_2_2_2_1 NS n377_a_dick_1952__1_1_2_2_2_2->n377_a_dick_1952__1_1_2_2_2_2_1 n377_a_dick_1952__1_1_2_2_2_2_1->n377_a_dick_1952__1_1_2_2_2_2_1_1 n377_a_dick_1952__1_2->n377_a_dick_1952__1_2_1 
( (FRAG (NP (Q;_nphd_ All;{all})
            (NLYR (D those;{those})
                  (NLYR (NLYR (NS vanes;{vane}))
                        (CONJP (CONJ and;{and})
                               (NLYR (NS tubes;{tube}))))))
        (PUNC .))
  (ID 377_a_dick_1952))


%3 z_0377_5007 z_0377_5006 z_0377_5007->z_0377_5006 r_0377_0002__those_r_0377_0003__vanes_r_0377_0004__and_r_0377_0005__tubes those vanes and tubes z_0377_5006->r_0377_0002__those_r_0377_0003__vanes_r_0377_0004__and_r_0377_0005__tubes [nim] r_0377_0001__All__quant All [quant] r_0377_0001__All__quant->z_0377_5007 [scope] r_0377_0001__All__quant->z_0377_5006 [restriction] 
arc(r_0377_0001__All__quant,z_0377_5006,restriction).
arc(r_0377_0001__All__quant,z_0377_5007,scope).
arc(z_0377_5006,r_0377_0002__those_r_0377_0003__vanes_r_0377_0004__and_r_0377_0005__tubes,nim).
arc(z_0377_5007,z_0377_5006,z_0377_5002).


%3 r_0377_0001__All__quant All [quant] z_0377_5006 r_0377_0001__All__quant->z_0377_5006 [restriction] z_0377_5007 r_0377_0001__All__quant->z_0377_5007 [scope] r_0377_0002__those_r_0377_0003__vanes_r_0377_0004__and_r_0377_0005__tubes those vanes and tubes z_0377_5006->r_0377_0002__those_r_0377_0003__vanes_r_0377_0004__and_r_0377_0005__tubes [nim] z_0377_5007->z_0377_5006 
fof(formula,axiom,
    ! [Z_0377_5006,R_0377_0002__THOSE_R_0377_0003__VANES_R_0377_0004__AND_R_0377_0005__TUBES] :
      ( ( r_0377_0002__those_r_0377_0003__vanes_r_0377_0004__and_r_0377_0005__tubes(R_0377_0002__THOSE_R_0377_0003__VANES_R_0377_0004__AND_R_0377_0005__TUBES)
        & z_0377_5006(Z_0377_5006)
        & has_nim(Z_0377_5006,R_0377_0002__THOSE_R_0377_0003__VANES_R_0377_0004__AND_R_0377_0005__TUBES) )
     => ? [Z_0377_5007] :
          ( z_0377_5007(Z_0377_5007)
          & has_z_0377_5002(Z_0377_5007,Z_0377_5006) ) ) ).