Context                Previous, Next                Top


324_a_dick_1952
“No one.

%3 r_0324_0002__No_quant No [quant] r_0324_0003__one one r_0324_0002__No_quant->r_0324_0003__one [restriction] z_000_324_a_dick_1952_1 r_0324_0002__No_quant->z_000_324_a_dick_1952_1 [scope] z_000_324_a_dick_1952_1->r_0324_0003__one [nim] 
arc(r_0324_0002__No_quant, r_0324_0003__one, restriction).
arc(r_0324_0002__No_quant, z_000_324_a_dick_1952_1, scope).
arc(z_000_324_a_dick_1952_1, r_0324_0003__one, nim4).


%3 z_000_324_a_dick_1952_1 r_0324_0003__one one z_000_324_a_dick_1952_1->r_0324_0003__one [nim] r_0324_0002__No_quant No [quant] r_0324_0002__No_quant->z_000_324_a_dick_1952_1 [scope] r_0324_0002__No_quant->r_0324_0003__one [restriction] 
fof(formula,axiom,
    ! [R_324_3_ONE] :
      ( one(R_324_3_ONE)
     => ? [Z_324_A_DICK_1952_1] :
          ( z_324_a_dick_1952_1(Z_324_A_DICK_1952_1)
          & nim4(Z_324_A_DICK_1952_1,R_324_3_ONE) ) ) ).


n324_a_dick_1952 n324_a_dick_1952__1_1_1 <ldquo> n324_a_dick_1952__1_2_1_1 No n324_a_dick_1952__1_2_2_1 one n324_a_dick_1952__1_3_1 . n324_a_dick_1952__1 FRAG n324_a_dick_1952__1_1 PULQ n324_a_dick_1952__1->n324_a_dick_1952__1_1 n324_a_dick_1952__1_2 NP n324_a_dick_1952__1->n324_a_dick_1952__1_2 n324_a_dick_1952__1_3 PUNC n324_a_dick_1952__1->n324_a_dick_1952__1_3 n324_a_dick_1952__1_1->n324_a_dick_1952__1_1_1 n324_a_dick_1952__1_2_1 Q n324_a_dick_1952__1_2->n324_a_dick_1952__1_2_1 n324_a_dick_1952__1_2_2 N n324_a_dick_1952__1_2->n324_a_dick_1952__1_2_2 n324_a_dick_1952__1_2_1->n324_a_dick_1952__1_2_1_1 n324_a_dick_1952__1_2_2->n324_a_dick_1952__1_2_2_1 n324_a_dick_1952__1_3->n324_a_dick_1952__1_3_1 
( (FRAG (PULQ <ldquo>)
        (NP (Q No;{no})
            (N one;{one}))
        (PUNC .))
  (ID 324_a_dick_1952))