Context                Previous, Next                Top


324_a_dick_1952
“No 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))


%3 z_0324_5005 r_0324_0003__one one z_0324_5005->r_0324_0003__one r_0324_0002__No__quant No [quant] r_0324_0002__No__quant->z_0324_5005 [scope] r_0324_0002__No__quant->r_0324_0003__one [restriction] 
arc(r_0324_0002__No__quant,r_0324_0003__one,restriction).
arc(r_0324_0002__No__quant,z_0324_5005,scope).
arc(z_0324_5005,r_0324_0003__one,z_0324_5002).


%3 r_0324_0002__No__quant No [quant] r_0324_0003__one one r_0324_0002__No__quant->r_0324_0003__one [restriction] z_0324_5005 r_0324_0002__No__quant->z_0324_5005 [scope] z_0324_5005->r_0324_0003__one 
fof(formula,axiom,
    ! [R_0324_0003__ONE] :
      ( r_0324_0003__one(R_0324_0003__ONE)
     => ? [Z_0324_5005] :
          ( z_0324_5005(Z_0324_5005)
          & has_z_0324_5002(Z_0324_5005,R_0324_0003__ONE) ) ) ).