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_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] 
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_3 <ldquo> n126_a_joyce_1914_5 And n126_a_joyce_1914_8 everything n126_a_joyce_1914_10 ... n126_a_joyce_1914_12 ? n126_a_joyce_1914_14 <rdquo> n126_a_joyce_1914_1 FRAG n126_a_joyce_1914_2 PULQ n126_a_joyce_1914_1->n126_a_joyce_1914_2 n126_a_joyce_1914_4 CONJ n126_a_joyce_1914_1->n126_a_joyce_1914_4 n126_a_joyce_1914_6 NP n126_a_joyce_1914_1->n126_a_joyce_1914_6 n126_a_joyce_1914_9 PUNC n126_a_joyce_1914_1->n126_a_joyce_1914_9 n126_a_joyce_1914_11 PUNC n126_a_joyce_1914_1->n126_a_joyce_1914_11 n126_a_joyce_1914_13 PURQ n126_a_joyce_1914_1->n126_a_joyce_1914_13 n126_a_joyce_1914_2->n126_a_joyce_1914_3 n126_a_joyce_1914_4->n126_a_joyce_1914_5 n126_a_joyce_1914_7 Q;_nphd_ n126_a_joyce_1914_6->n126_a_joyce_1914_7 n126_a_joyce_1914_7->n126_a_joyce_1914_8 n126_a_joyce_1914_9->n126_a_joyce_1914_10 n126_a_joyce_1914_11->n126_a_joyce_1914_12 n126_a_joyce_1914_13->n126_a_joyce_1914_14 
( (FRAG (PULQ <ldquo>)
        (CONJ And;{and})
        (NP (Q;_nphd_ everything;{everything}))
        (PUNC ...)
        (PUNC ?)
        (PURQ <rdquo>))
  (ID 126_a_joyce_1914))