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 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] 
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_4 All n377_a_dick_1952_6 those n377_a_dick_1952_10 vanes n377_a_dick_1952_13 and n377_a_dick_1952_16 tubes n377_a_dick_1952_18 . n377_a_dick_1952_1 FRAG n377_a_dick_1952_2 NP n377_a_dick_1952_1->n377_a_dick_1952_2 n377_a_dick_1952_17 PUNC n377_a_dick_1952_1->n377_a_dick_1952_17 n377_a_dick_1952_3 Q;_nphd_ n377_a_dick_1952_2->n377_a_dick_1952_3 n377_a_dick_1952_5 D n377_a_dick_1952_2->n377_a_dick_1952_5 n377_a_dick_1952_7 NLYR n377_a_dick_1952_2->n377_a_dick_1952_7 n377_a_dick_1952_3->n377_a_dick_1952_4 n377_a_dick_1952_5->n377_a_dick_1952_6 n377_a_dick_1952_8 NLYR n377_a_dick_1952_7->n377_a_dick_1952_8 n377_a_dick_1952_11 CONJP n377_a_dick_1952_7->n377_a_dick_1952_11 n377_a_dick_1952_9 NS n377_a_dick_1952_8->n377_a_dick_1952_9 n377_a_dick_1952_9->n377_a_dick_1952_10 n377_a_dick_1952_12 CONJ n377_a_dick_1952_11->n377_a_dick_1952_12 n377_a_dick_1952_14 NLYR n377_a_dick_1952_11->n377_a_dick_1952_14 n377_a_dick_1952_12->n377_a_dick_1952_13 n377_a_dick_1952_15 NS n377_a_dick_1952_14->n377_a_dick_1952_15 n377_a_dick_1952_15->n377_a_dick_1952_16 n377_a_dick_1952_17->n377_a_dick_1952_18 
( (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))