Context                Previous, Next                Top


377_a_dick_1952
All those vanes and tubes.

%3 r_0377_0001__All_quant All [quant] r_0377_0004__and and r_0377_0001__All_quant->r_0377_0004__and [restriction] z_000_377_a_dick_1952_1 r_0377_0001__All_quant->z_000_377_a_dick_1952_1 [scope] r_0377_0003__vanes vanes r_0377_0004__and->r_0377_0003__vanes [conj1] r_0377_0005__tubes tubes r_0377_0004__and->r_0377_0005__tubes [conj2] z_000_377_a_dick_1952_1->r_0377_0004__and [nim] 
arc(r_0377_0001__All_quant, r_0377_0004__and, restriction).
arc(r_0377_0001__All_quant, z_000_377_a_dick_1952_1, scope).
arc(r_0377_0004__and, r_0377_0003__vanes, conj1).
arc(r_0377_0004__and, r_0377_0005__tubes, conj2).
arc(z_000_377_a_dick_1952_1, r_0377_0004__and, nim2).


%3 z_000_377_a_dick_1952_1 r_0377_0004__and and z_000_377_a_dick_1952_1->r_0377_0004__and [nim] r_0377_0005__tubes tubes r_0377_0004__and->r_0377_0005__tubes [conj2] r_0377_0003__vanes vanes r_0377_0004__and->r_0377_0003__vanes [conj1] r_0377_0001__All_quant All [quant] r_0377_0001__All_quant->z_000_377_a_dick_1952_1 [scope] r_0377_0001__All_quant->r_0377_0004__and [restriction] 
fof(formula,axiom,
    ! [R_377_4_AND,R_377_3_VANES,R_377_5_TUBES] :
      ( ( vanes(R_377_3_VANES)
        & tubes(R_377_5_TUBES)
        & and(R_377_4_AND)
        & conj1(R_377_4_AND,R_377_3_VANES)
        & conj2(R_377_4_AND,R_377_5_TUBES) )
     => ? [Z_377_A_DICK_1952_1] :
          ( z_377_a_dick_1952_1(Z_377_A_DICK_1952_1)
          & nim2(Z_377_A_DICK_1952_1,R_377_4_AND) ) ) ).


n377_a_dick_1952 n377_a_dick_1952__1_1_1_1 All n377_a_dick_1952__1_1_2_1 those n377_a_dick_1952__1_1_3_1_1_1 vanes n377_a_dick_1952__1_1_3_2_1_1 and n377_a_dick_1952__1_1_3_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 D n377_a_dick_1952__1_1->n377_a_dick_1952__1_1_2 n377_a_dick_1952__1_1_3 NLYR n377_a_dick_1952__1_1->n377_a_dick_1952__1_1_3 n377_a_dick_1952__1_1_1->n377_a_dick_1952__1_1_1_1 n377_a_dick_1952__1_1_2->n377_a_dick_1952__1_1_2_1 n377_a_dick_1952__1_1_3_1 NLYR n377_a_dick_1952__1_1_3->n377_a_dick_1952__1_1_3_1 n377_a_dick_1952__1_1_3_2 CONJP n377_a_dick_1952__1_1_3->n377_a_dick_1952__1_1_3_2 n377_a_dick_1952__1_1_3_1_1 NS n377_a_dick_1952__1_1_3_1->n377_a_dick_1952__1_1_3_1_1 n377_a_dick_1952__1_1_3_1_1->n377_a_dick_1952__1_1_3_1_1_1 n377_a_dick_1952__1_1_3_2_1 CONJ n377_a_dick_1952__1_1_3_2->n377_a_dick_1952__1_1_3_2_1 n377_a_dick_1952__1_1_3_2_2 NLYR n377_a_dick_1952__1_1_3_2->n377_a_dick_1952__1_1_3_2_2 n377_a_dick_1952__1_1_3_2_1->n377_a_dick_1952__1_1_3_2_1_1 n377_a_dick_1952__1_1_3_2_2_1 NS n377_a_dick_1952__1_1_3_2_2->n377_a_dick_1952__1_1_3_2_2_1 n377_a_dick_1952__1_1_3_2_2_1->n377_a_dick_1952__1_1_3_2_2_1_1 n377_a_dick_1952__1_2->n377_a_dick_1952__1_2_1 
( (FRAG (NP (Q;_nphd_ All;{all})
            (D those;{those})
            (NLYR (NLYR (NS vanes;{vane}))
                  (CONJP (CONJ and;{and})
                         (NLYR (NS tubes;{tube})))))
        (PUNC .))
  (ID 377_a_dick_1952))