Context                Previous, Next                Top


16_a_fce_0101_2001_06
Write a letter of between 120 and 180 words in an appropriate style on the opposite page.

%3 r_0016_0001__Write Write r_0016_0002__a_r_0016_0003__letter a letter r_0016_0001__Write->r_0016_0002__a_r_0016_0003__letter [arg1] r_0016_0011__an_r_0016_0013__style an style r_0016_0001__Write->r_0016_0011__an_r_0016_0013__style in [nim] r_0016_0015__the_r_0016_0017__page the page r_0016_0001__Write->r_0016_0015__the_r_0016_0017__page on [nim] z_000_16_a_fce_0101_2001_06_1 r_0016_0001__Write->z_000_16_a_fce_0101_2001_06_1 [arg0] r_0016_0009__words words r_0016_0002__a_r_0016_0003__letter->r_0016_0009__words of r_0016_0012__appropriate appropriate r_0016_0011__an_r_0016_0013__style->r_0016_0012__appropriate [attrib] r_0016_0016__opposite opposite r_0016_0015__the_r_0016_0017__page->r_0016_0016__opposite [attrib] r_0016_0007__and and r_0016_0009__words->r_0016_0007__and between r_0016_0006__120 120 r_0016_0007__and->r_0016_0006__120 [conj1] r_0016_0008__180 180 r_0016_0007__and->r_0016_0008__180 [conj2] 
arc(r_0016_0001__Write, r_0016_0002__a_r_0016_0003__letter, arg1).
arc(r_0016_0001__Write, r_0016_0011__an_r_0016_0013__style, r_0016_0010__in_nim32).
arc(r_0016_0001__Write, r_0016_0015__the_r_0016_0017__page, r_0016_0014__on_nim43).
arc(r_0016_0001__Write, z_000_16_a_fce_0101_2001_06_1, arg0).
arc(r_0016_0002__a_r_0016_0003__letter, r_0016_0009__words, r_0016_0004__of).
arc(r_0016_0007__and, r_0016_0006__120, conj1).
arc(r_0016_0007__and, r_0016_0008__180, conj2).
arc(r_0016_0009__words, r_0016_0007__and, r_0016_0005__between).
arc(r_0016_0011__an_r_0016_0013__style, r_0016_0012__appropriate, attrib35).
arc(r_0016_0015__the_r_0016_0017__page, r_0016_0016__opposite, attrib46).


%3 r_0016_0015__the_r_0016_0017__page the page r_0016_0016__opposite opposite r_0016_0015__the_r_0016_0017__page->r_0016_0016__opposite [attrib] r_0016_0011__an_r_0016_0013__style an style r_0016_0012__appropriate appropriate r_0016_0011__an_r_0016_0013__style->r_0016_0012__appropriate [attrib] r_0016_0009__words words r_0016_0007__and and r_0016_0009__words->r_0016_0007__and between r_0016_0008__180 180 r_0016_0007__and->r_0016_0008__180 [conj2] r_0016_0006__120 120 r_0016_0007__and->r_0016_0006__120 [conj1] r_0016_0002__a_r_0016_0003__letter a letter r_0016_0002__a_r_0016_0003__letter->r_0016_0009__words of r_0016_0001__Write Write r_0016_0001__Write->r_0016_0015__the_r_0016_0017__page on [nim] r_0016_0001__Write->r_0016_0011__an_r_0016_0013__style in [nim] r_0016_0001__Write->r_0016_0002__a_r_0016_0003__letter [arg1] z_000_16_a_fce_0101_2001_06_1 r_0016_0001__Write->z_000_16_a_fce_0101_2001_06_1 [arg0] 
fof(formula,axiom,
    ? [R_0016_0006__120,R_0016_0008__180,R_0016_0007__AND,R_0016_0009__WORDS,R_0016_0002__A_R_0016_0003__LETTER,R_0016_0012__APPROPRIATE,R_0016_0011__AN_R_0016_0013__STYLE,R_0016_0016__OPPOSITE,R_0016_0015__THE_R_0016_0017__PAGE,Z_000_16_A_FCE_0101_2001_06_1,R_0016_0001__WRITE] :
      ( r_0016_0006__120(R_0016_0006__120)
      & r_0016_0008__180(R_0016_0008__180)
      & r_0016_0012__appropriate(R_0016_0012__APPROPRIATE)
      & r_0016_0016__opposite(R_0016_0016__OPPOSITE)
      & z_000_16_a_fce_0101_2001_06_1(Z_000_16_A_FCE_0101_2001_06_1)
      & r_0016_0001__Write(R_0016_0001__WRITE)
      & has_arg0(R_0016_0001__WRITE,Z_000_16_A_FCE_0101_2001_06_1)
      & has_r_0016_0014__on_nim43(R_0016_0001__WRITE,R_0016_0015__THE_R_0016_0017__PAGE)
      & r_0016_0015__the_r_0016_0017__page(R_0016_0015__THE_R_0016_0017__PAGE)
      & has_attrib46(R_0016_0015__THE_R_0016_0017__PAGE,R_0016_0016__OPPOSITE)
      & has_r_0016_0010__in_nim32(R_0016_0001__WRITE,R_0016_0011__AN_R_0016_0013__STYLE)
      & r_0016_0011__an_r_0016_0013__style(R_0016_0011__AN_R_0016_0013__STYLE)
      & has_attrib35(R_0016_0011__AN_R_0016_0013__STYLE,R_0016_0012__APPROPRIATE)
      & has_arg1(R_0016_0001__WRITE,R_0016_0002__A_R_0016_0003__LETTER)
      & r_0016_0002__a_r_0016_0003__letter(R_0016_0002__A_R_0016_0003__LETTER)
      & has_r_0016_0004__of(R_0016_0002__A_R_0016_0003__LETTER,R_0016_0009__WORDS)
      & r_0016_0009__words(R_0016_0009__WORDS)
      & has_r_0016_0005__between(R_0016_0009__WORDS,R_0016_0007__AND)
      & r_0016_0007__and(R_0016_0007__AND)
      & has_conj2(R_0016_0007__AND,R_0016_0008__180)
      & has_conj1(R_0016_0007__AND,R_0016_0006__120) ) ).


n16_a_fce_0101_2001_06 n16_a_fce_0101_2001_06__1_1_1 Write n16_a_fce_0101_2001_06__1_2_1_1 a n16_a_fce_0101_2001_06__1_2_2_1 letter n16_a_fce_0101_2001_06__1_2_3_1_1 of n16_a_fce_0101_2001_06__1_2_3_2_1_1_1 between n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_1_1_1 120 n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2_1_1 and n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2_2_1_1 180 n16_a_fce_0101_2001_06__1_2_3_2_2_1 words n16_a_fce_0101_2001_06__1_3_1_1 in n16_a_fce_0101_2001_06__1_3_2_1_1 an n16_a_fce_0101_2001_06__1_3_2_2_1_1 appropriate n16_a_fce_0101_2001_06__1_3_2_3_1 style n16_a_fce_0101_2001_06__1_4_1_1 on n16_a_fce_0101_2001_06__1_4_2_1_1 the n16_a_fce_0101_2001_06__1_4_2_2_1_1 opposite n16_a_fce_0101_2001_06__1_4_2_3_1 page n16_a_fce_0101_2001_06__1_5_1 . n16_a_fce_0101_2001_06__1 IP-IMP n16_a_fce_0101_2001_06__1_1 VB;_Tn_ n16_a_fce_0101_2001_06__1->n16_a_fce_0101_2001_06__1_1 n16_a_fce_0101_2001_06__1_2 NP-OB1 n16_a_fce_0101_2001_06__1->n16_a_fce_0101_2001_06__1_2 n16_a_fce_0101_2001_06__1_3 PP-NIM n16_a_fce_0101_2001_06__1->n16_a_fce_0101_2001_06__1_3 n16_a_fce_0101_2001_06__1_4 PP-NIM n16_a_fce_0101_2001_06__1->n16_a_fce_0101_2001_06__1_4 n16_a_fce_0101_2001_06__1_5 PUNC n16_a_fce_0101_2001_06__1->n16_a_fce_0101_2001_06__1_5 n16_a_fce_0101_2001_06__1_1->n16_a_fce_0101_2001_06__1_1_1 n16_a_fce_0101_2001_06__1_2_1 D n16_a_fce_0101_2001_06__1_2->n16_a_fce_0101_2001_06__1_2_1 n16_a_fce_0101_2001_06__1_2_2 N n16_a_fce_0101_2001_06__1_2->n16_a_fce_0101_2001_06__1_2_2 n16_a_fce_0101_2001_06__1_2_3 PP n16_a_fce_0101_2001_06__1_2->n16_a_fce_0101_2001_06__1_2_3 n16_a_fce_0101_2001_06__1_2_1->n16_a_fce_0101_2001_06__1_2_1_1 n16_a_fce_0101_2001_06__1_2_2->n16_a_fce_0101_2001_06__1_2_2_1 n16_a_fce_0101_2001_06__1_2_3_1 P-ROLE n16_a_fce_0101_2001_06__1_2_3->n16_a_fce_0101_2001_06__1_2_3_1 n16_a_fce_0101_2001_06__1_2_3_2 NP n16_a_fce_0101_2001_06__1_2_3->n16_a_fce_0101_2001_06__1_2_3_2 n16_a_fce_0101_2001_06__1_2_3_1->n16_a_fce_0101_2001_06__1_2_3_1_1 n16_a_fce_0101_2001_06__1_2_3_2_1 PP n16_a_fce_0101_2001_06__1_2_3_2->n16_a_fce_0101_2001_06__1_2_3_2_1 n16_a_fce_0101_2001_06__1_2_3_2_2 NS n16_a_fce_0101_2001_06__1_2_3_2->n16_a_fce_0101_2001_06__1_2_3_2_2 n16_a_fce_0101_2001_06__1_2_3_2_1_1 P-ROLE n16_a_fce_0101_2001_06__1_2_3_2_1->n16_a_fce_0101_2001_06__1_2_3_2_1_1 n16_a_fce_0101_2001_06__1_2_3_2_1_2 NP n16_a_fce_0101_2001_06__1_2_3_2_1->n16_a_fce_0101_2001_06__1_2_3_2_1_2 n16_a_fce_0101_2001_06__1_2_3_2_1_1->n16_a_fce_0101_2001_06__1_2_3_2_1_1_1 n16_a_fce_0101_2001_06__1_2_3_2_1_2_1 NLYR n16_a_fce_0101_2001_06__1_2_3_2_1_2->n16_a_fce_0101_2001_06__1_2_3_2_1_2_1 n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_1 NLYR n16_a_fce_0101_2001_06__1_2_3_2_1_2_1->n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_1 n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2 CONJP n16_a_fce_0101_2001_06__1_2_3_2_1_2_1->n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2 n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_1_1 NUM n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_1->n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_1_1 n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_1_1->n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_1_1_1 n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2_1 CONJ n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2->n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2_1 n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2_2 NLYR n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2->n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2_2 n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2_1->n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2_1_1 n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2_2_1 NUM n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2_2->n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2_2_1 n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2_2_1->n16_a_fce_0101_2001_06__1_2_3_2_1_2_1_2_2_1_1 n16_a_fce_0101_2001_06__1_2_3_2_2->n16_a_fce_0101_2001_06__1_2_3_2_2_1 n16_a_fce_0101_2001_06__1_3_1 P-ROLE n16_a_fce_0101_2001_06__1_3->n16_a_fce_0101_2001_06__1_3_1 n16_a_fce_0101_2001_06__1_3_2 NP n16_a_fce_0101_2001_06__1_3->n16_a_fce_0101_2001_06__1_3_2 n16_a_fce_0101_2001_06__1_3_1->n16_a_fce_0101_2001_06__1_3_1_1 n16_a_fce_0101_2001_06__1_3_2_1 D n16_a_fce_0101_2001_06__1_3_2->n16_a_fce_0101_2001_06__1_3_2_1 n16_a_fce_0101_2001_06__1_3_2_2 ADJP n16_a_fce_0101_2001_06__1_3_2->n16_a_fce_0101_2001_06__1_3_2_2 n16_a_fce_0101_2001_06__1_3_2_3 N n16_a_fce_0101_2001_06__1_3_2->n16_a_fce_0101_2001_06__1_3_2_3 n16_a_fce_0101_2001_06__1_3_2_1->n16_a_fce_0101_2001_06__1_3_2_1_1 n16_a_fce_0101_2001_06__1_3_2_2_1 ADJ n16_a_fce_0101_2001_06__1_3_2_2->n16_a_fce_0101_2001_06__1_3_2_2_1 n16_a_fce_0101_2001_06__1_3_2_2_1->n16_a_fce_0101_2001_06__1_3_2_2_1_1 n16_a_fce_0101_2001_06__1_3_2_3->n16_a_fce_0101_2001_06__1_3_2_3_1 n16_a_fce_0101_2001_06__1_4_1 P-ROLE n16_a_fce_0101_2001_06__1_4->n16_a_fce_0101_2001_06__1_4_1 n16_a_fce_0101_2001_06__1_4_2 NP n16_a_fce_0101_2001_06__1_4->n16_a_fce_0101_2001_06__1_4_2 n16_a_fce_0101_2001_06__1_4_1->n16_a_fce_0101_2001_06__1_4_1_1 n16_a_fce_0101_2001_06__1_4_2_1 D n16_a_fce_0101_2001_06__1_4_2->n16_a_fce_0101_2001_06__1_4_2_1 n16_a_fce_0101_2001_06__1_4_2_2 ADJP n16_a_fce_0101_2001_06__1_4_2->n16_a_fce_0101_2001_06__1_4_2_2 n16_a_fce_0101_2001_06__1_4_2_3 N n16_a_fce_0101_2001_06__1_4_2->n16_a_fce_0101_2001_06__1_4_2_3 n16_a_fce_0101_2001_06__1_4_2_1->n16_a_fce_0101_2001_06__1_4_2_1_1 n16_a_fce_0101_2001_06__1_4_2_2_1 ADJ n16_a_fce_0101_2001_06__1_4_2_2->n16_a_fce_0101_2001_06__1_4_2_2_1 n16_a_fce_0101_2001_06__1_4_2_2_1->n16_a_fce_0101_2001_06__1_4_2_2_1_1 n16_a_fce_0101_2001_06__1_4_2_3->n16_a_fce_0101_2001_06__1_4_2_3_1 n16_a_fce_0101_2001_06__1_5->n16_a_fce_0101_2001_06__1_5_1 
( (IP-IMP (VB;_Tn_ Write;{write})
          (NP-OB1 (D a;{a})
                  (N letter;{letter})
                  (PP (P-ROLE of;{of})
                      (NP (PP (P-ROLE between;{between})
                              (NP (NLYR (NLYR (NUM 120))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (NUM 180))))))
                          (NS words;{word}))))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D an;{an})
                      (ADJP (ADJ appropriate;{appropriate}))
                      (N style;{style})))
          (PP-NIM (P-ROLE on;{on})
                  (NP (D the;{the})
                      (ADJP (ADJ opposite;{opposite}))
                      (N page;{page})))
          (PUNC .))
  (ID 16_a_fce_0101_2001_06))