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 z_000_16_a_ks4_english_1 r_0016_0002__and and z_000_16_a_ks4_english_1->r_0016_0002__and [nim] r_0016_0003__writing writing r_0016_0002__and->r_0016_0003__writing [conj2] r_0016_0001__Reading Reading r_0016_0002__and->r_0016_0001__Reading [conj1] 
fof(formula,axiom,
    ? [R_0016_0001__READING,R_0016_0003__WRITING,R_0016_0002__AND,Z_000_16_A_KS4_ENGLISH_1] :
      ( r_0016_0001__Reading(R_0016_0001__READING)
      & r_0016_0003__writing(R_0016_0003__WRITING)
      & z_000_16_a_ks4_english_1(Z_000_16_A_KS4_ENGLISH_1)
      & has_nim2(Z_000_16_A_KS4_ENGLISH_1,R_0016_0002__AND)
      & r_0016_0002__and(R_0016_0002__AND)
      & has_conj2(R_0016_0002__AND,R_0016_0003__WRITING)
      & has_conj1(R_0016_0002__AND,R_0016_0001__READING) ) ).


n16_a_ks4_english n16_a_ks4_english__1_1_1_1_1_1 Reading n16_a_ks4_english__1_1_1_2_1_1 and n16_a_ks4_english__1_1_1_2_2_1_1 writing n16_a_ks4_english__1 FRAG n16_a_ks4_english__1_1 NP n16_a_ks4_english__1->n16_a_ks4_english__1_1 n16_a_ks4_english__1_1_1 NLYR n16_a_ks4_english__1_1->n16_a_ks4_english__1_1_1 n16_a_ks4_english__1_1_1_1 NLYR n16_a_ks4_english__1_1_1->n16_a_ks4_english__1_1_1_1 n16_a_ks4_english__1_1_1_2 CONJP n16_a_ks4_english__1_1_1->n16_a_ks4_english__1_1_1_2 n16_a_ks4_english__1_1_1_1_1 N n16_a_ks4_english__1_1_1_1->n16_a_ks4_english__1_1_1_1_1 n16_a_ks4_english__1_1_1_1_1->n16_a_ks4_english__1_1_1_1_1_1 n16_a_ks4_english__1_1_1_2_1 CONJ n16_a_ks4_english__1_1_1_2->n16_a_ks4_english__1_1_1_2_1 n16_a_ks4_english__1_1_1_2_2 NLYR n16_a_ks4_english__1_1_1_2->n16_a_ks4_english__1_1_1_2_2 n16_a_ks4_english__1_1_1_2_1->n16_a_ks4_english__1_1_1_2_1_1 n16_a_ks4_english__1_1_1_2_2_1 N n16_a_ks4_english__1_1_1_2_2->n16_a_ks4_english__1_1_1_2_2_1 n16_a_ks4_english__1_1_1_2_2_1->n16_a_ks4_english__1_1_1_2_2_1_1 
( (FRAG (NP (NLYR (NLYR (N Reading;{reading}))
                  (CONJP (CONJ and;{and})
                         (NLYR (N writing;{writing}))))))
  (ID 16_a_ks4_english))