Context                Previous, Next                Top


126_a_joyce_1914
“And everything...?”

%3 r_0126_0002__And And z_000_126_a_joyce_1914_6 r_0126_0002__And->z_000_126_a_joyce_1914_6 [nim] r_0126_0003__everything_quant everything [quant] r_0126_0003__everything_quant->r_0126_0002__And [scope] r_0126_0003__everything_quant->z_000_126_a_joyce_1914_6 [restriction] 
arc(r_0126_0002__And, z_000_126_a_joyce_1914_6, nim6).
arc(r_0126_0003__everything_quant, r_0126_0002__And, scope).
arc(r_0126_0003__everything_quant, z_000_126_a_joyce_1914_6, restriction).


%3 r_0126_0003__everything_quant everything [quant] z_000_126_a_joyce_1914_6 r_0126_0003__everything_quant->z_000_126_a_joyce_1914_6 [restriction] r_0126_0002__And And r_0126_0003__everything_quant->r_0126_0002__And [scope] r_0126_0002__And->z_000_126_a_joyce_1914_6 [nim] 
fof(formula,axiom,
    ! [Z_126_A_JOYCE_1914_6] :
      ( true
     => ? [R_126_2_AND] :
          ( and(R_126_2_AND)
          & nim6(R_126_2_AND,Z_126_A_JOYCE_1914_6) ) ) ).


n126_a_joyce_1914 n126_a_joyce_1914__1_1_1 <ldquo> n126_a_joyce_1914__1_2_1 And n126_a_joyce_1914__1_3_1_1 everything n126_a_joyce_1914__1_4_1 ... n126_a_joyce_1914__1_5_1 ? n126_a_joyce_1914__1_6_1 <rdquo> n126_a_joyce_1914__1 FRAG n126_a_joyce_1914__1_1 PULQ n126_a_joyce_1914__1->n126_a_joyce_1914__1_1 n126_a_joyce_1914__1_2 CONJ n126_a_joyce_1914__1->n126_a_joyce_1914__1_2 n126_a_joyce_1914__1_3 NP n126_a_joyce_1914__1->n126_a_joyce_1914__1_3 n126_a_joyce_1914__1_4 PUNC n126_a_joyce_1914__1->n126_a_joyce_1914__1_4 n126_a_joyce_1914__1_5 PUNC n126_a_joyce_1914__1->n126_a_joyce_1914__1_5 n126_a_joyce_1914__1_6 PURQ n126_a_joyce_1914__1->n126_a_joyce_1914__1_6 n126_a_joyce_1914__1_1->n126_a_joyce_1914__1_1_1 n126_a_joyce_1914__1_2->n126_a_joyce_1914__1_2_1 n126_a_joyce_1914__1_3_1 Q;_nphd_ n126_a_joyce_1914__1_3->n126_a_joyce_1914__1_3_1 n126_a_joyce_1914__1_3_1->n126_a_joyce_1914__1_3_1_1 n126_a_joyce_1914__1_4->n126_a_joyce_1914__1_4_1 n126_a_joyce_1914__1_5->n126_a_joyce_1914__1_5_1 n126_a_joyce_1914__1_6->n126_a_joyce_1914__1_6_1 
( (FRAG (PULQ <ldquo>)
        (CONJ And;{and})
        (NP (Q;_nphd_ everything;{everything}))
        (PUNC ...)
        (PUNC ?)
        (PURQ <rdquo>))
  (ID 126_a_joyce_1914))