Context                Previous, Next                Top


125_a_joyce_1914
“And everything...?”

n125_a_joyce_1914 n125_a_joyce_1914__1_1_1 <ldquo> n125_a_joyce_1914__1_2_1 And n125_a_joyce_1914__1_3_1_1 everything n125_a_joyce_1914__1_4_1 ... n125_a_joyce_1914__1_5_1 ? n125_a_joyce_1914__1_6_1 <rdquo> n125_a_joyce_1914__1 FRAG n125_a_joyce_1914__1_1 PULQ n125_a_joyce_1914__1->n125_a_joyce_1914__1_1 n125_a_joyce_1914__1_2 CONJ n125_a_joyce_1914__1->n125_a_joyce_1914__1_2 n125_a_joyce_1914__1_3 NP n125_a_joyce_1914__1->n125_a_joyce_1914__1_3 n125_a_joyce_1914__1_4 PUNC n125_a_joyce_1914__1->n125_a_joyce_1914__1_4 n125_a_joyce_1914__1_5 PUNC n125_a_joyce_1914__1->n125_a_joyce_1914__1_5 n125_a_joyce_1914__1_6 PURQ n125_a_joyce_1914__1->n125_a_joyce_1914__1_6 n125_a_joyce_1914__1_1->n125_a_joyce_1914__1_1_1 n125_a_joyce_1914__1_2->n125_a_joyce_1914__1_2_1 n125_a_joyce_1914__1_3_1 Q;_nphd_ n125_a_joyce_1914__1_3->n125_a_joyce_1914__1_3_1 n125_a_joyce_1914__1_3_1->n125_a_joyce_1914__1_3_1_1 n125_a_joyce_1914__1_4->n125_a_joyce_1914__1_4_1 n125_a_joyce_1914__1_5->n125_a_joyce_1914__1_5_1 n125_a_joyce_1914__1_6->n125_a_joyce_1914__1_6_1 
( (FRAG (PULQ <ldquo>)
        (CONJ And;{and})
        (NP (Q;_nphd_ everything;{everything}))
        (PUNC ...)
        (PUNC ?)
        (PURQ <rdquo>))
  (ID 125_a_joyce_1914))


%3 z_0125_5006 z_0125_5005 z_0125_5006->z_0125_5005 r_0125_0003__everything__quant everything [quant] r_0125_0003__everything__quant->z_0125_5006 [scope] r_0125_0003__everything__quant->z_0125_5005 [restriction] 
arc(r_0125_0003__everything__quant,z_0125_5005,restriction).
arc(r_0125_0003__everything__quant,z_0125_5006,scope).
arc(z_0125_5006,z_0125_5005,z_0125_5002).


%3 r_0125_0003__everything__quant everything [quant] z_0125_5005 r_0125_0003__everything__quant->z_0125_5005 [restriction] z_0125_5006 r_0125_0003__everything__quant->z_0125_5006 [scope] z_0125_5006->z_0125_5005 
fof(formula,axiom,
    ! [Z_0125_5005] :
      ( z_0125_5005(Z_0125_5005)
     => ? [Z_0125_5006] :
          ( z_0125_5006(Z_0125_5006)
          & has_z_0125_5002(Z_0125_5006,Z_0125_5005) ) ) ).