Context                Previous, Next                Top


16_a_ks4_english
Reading and writing

%3 r_0016_0002__and and r_0016_0001__Reading Reading r_0016_0002__and->r_0016_0001__Reading [conj1] r_0016_0003__writing writing r_0016_0002__and->r_0016_0003__writing [conj2] z_000_16_a_ks4_english_1 z_000_16_a_ks4_english_1->r_0016_0002__and [nim] 
arc(r_0016_0002__and, r_0016_0001__Reading, conj1).
arc(r_0016_0002__and, r_0016_0003__writing, conj2).
arc(z_000_16_a_ks4_english_1, r_0016_0002__and, nim2).


%3 r_0016_0002__and and r_0016_0001__Reading Reading r_0016_0002__and->r_0016_0001__Reading [conj1] r_0016_0003__writing writing r_0016_0002__and->r_0016_0003__writing [conj2] z_000_16_a_ks4_english_1 z_000_16_a_ks4_english_1->r_0016_0002__and [nim] 
fof(formula,axiom,
    ? [Z_16_A_KS4_ENGLISH_1,R_16_2_AND,R_16_1_READING,R_16_3_WRITING] :
      ( reading(R_16_1_READING)
      & writing(R_16_3_WRITING)
      & z_16_a_ks4_english_1(Z_16_A_KS4_ENGLISH_1)
      & nim2(Z_16_A_KS4_ENGLISH_1,R_16_2_AND)
      & and(R_16_2_AND)
      & conj1(R_16_2_AND,R_16_1_READING)
      & conj2(R_16_2_AND,R_16_3_WRITING) ) ).


n16_a_ks4_english n16_a_ks4_english_6 Reading n16_a_ks4_english_9 and n16_a_ks4_english_12 writing n16_a_ks4_english_1 FRAG n16_a_ks4_english_2 NP n16_a_ks4_english_1->n16_a_ks4_english_2 n16_a_ks4_english_3 NLYR n16_a_ks4_english_2->n16_a_ks4_english_3 n16_a_ks4_english_4 NLYR n16_a_ks4_english_3->n16_a_ks4_english_4 n16_a_ks4_english_7 CONJP n16_a_ks4_english_3->n16_a_ks4_english_7 n16_a_ks4_english_5 N n16_a_ks4_english_4->n16_a_ks4_english_5 n16_a_ks4_english_5->n16_a_ks4_english_6 n16_a_ks4_english_8 CONJ n16_a_ks4_english_7->n16_a_ks4_english_8 n16_a_ks4_english_10 NLYR n16_a_ks4_english_7->n16_a_ks4_english_10 n16_a_ks4_english_8->n16_a_ks4_english_9 n16_a_ks4_english_11 N n16_a_ks4_english_10->n16_a_ks4_english_11 n16_a_ks4_english_11->n16_a_ks4_english_12 
( (FRAG (NP (NLYR (NLYR (N Reading;{reading}))
                  (CONJP (CONJ and;{and})
                         (NLYR (N writing;{writing}))))))
  (ID 16_a_ks4_english))