Context                Previous, Next                Top


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

%3 r_0009_0001__Write Write r_0009_0002__a_r_0009_0003__letter a letter r_0009_0001__Write->r_0009_0002__a_r_0009_0003__letter [arg1] r_0009_0011__an_r_0009_0013__style an style r_0009_0001__Write->r_0009_0011__an_r_0009_0013__style in [nim] r_0009_0015__the_r_0009_0017__page the page r_0009_0001__Write->r_0009_0015__the_r_0009_0017__page on [nim] z_000_9_a_fce_0102_2001_12_1 r_0009_0001__Write->z_000_9_a_fce_0102_2001_12_1 [arg0] r_0009_0009__words words r_0009_0002__a_r_0009_0003__letter->r_0009_0009__words of r_0009_0012__appropriate appropriate r_0009_0011__an_r_0009_0013__style->r_0009_0012__appropriate [attrib] r_0009_0016__opposite opposite r_0009_0015__the_r_0009_0017__page->r_0009_0016__opposite [attrib] r_0009_0007__and and r_0009_0009__words->r_0009_0007__and between r_0009_0006__120 120 r_0009_0007__and->r_0009_0006__120 [conj1] r_0009_0008__180 180 r_0009_0007__and->r_0009_0008__180 [conj2] 
arc(r_0009_0001__Write, r_0009_0002__a_r_0009_0003__letter, arg1).
arc(r_0009_0001__Write, r_0009_0011__an_r_0009_0013__style, r_0009_0010__in_nim32).
arc(r_0009_0001__Write, r_0009_0015__the_r_0009_0017__page, r_0009_0014__on_nim43).
arc(r_0009_0001__Write, z_000_9_a_fce_0102_2001_12_1, arg0).
arc(r_0009_0002__a_r_0009_0003__letter, r_0009_0009__words, r_0009_0004__of).
arc(r_0009_0007__and, r_0009_0006__120, conj1).
arc(r_0009_0007__and, r_0009_0008__180, conj2).
arc(r_0009_0009__words, r_0009_0007__and, r_0009_0005__between).
arc(r_0009_0011__an_r_0009_0013__style, r_0009_0012__appropriate, attrib35).
arc(r_0009_0015__the_r_0009_0017__page, r_0009_0016__opposite, attrib46).


%3 r_0009_0001__Write Write r_0009_0002__a_r_0009_0003__letter a letter r_0009_0001__Write->r_0009_0002__a_r_0009_0003__letter [arg1] r_0009_0011__an_r_0009_0013__style an style r_0009_0001__Write->r_0009_0011__an_r_0009_0013__style in [nim] r_0009_0015__the_r_0009_0017__page the page r_0009_0001__Write->r_0009_0015__the_r_0009_0017__page on [nim] z_000_9_a_fce_0102_2001_12_1 r_0009_0001__Write->z_000_9_a_fce_0102_2001_12_1 [arg0] r_0009_0009__words words r_0009_0002__a_r_0009_0003__letter->r_0009_0009__words of r_0009_0012__appropriate appropriate r_0009_0011__an_r_0009_0013__style->r_0009_0012__appropriate [attrib] r_0009_0016__opposite opposite r_0009_0015__the_r_0009_0017__page->r_0009_0016__opposite [attrib] r_0009_0007__and and r_0009_0009__words->r_0009_0007__and between r_0009_0006__120 120 r_0009_0007__and->r_0009_0006__120 [conj1] r_0009_0008__180 180 r_0009_0007__and->r_0009_0008__180 [conj2] 
fof(formula,axiom,
    ? [R_9_1_WRITE,Z_9_A_FCE_102_2001_12_1,R_9_2_A_LETTER,R_9_9_WORDS,R_9_7_AND,R_9_6_120,R_9_8_180,R_9_11_AN_STYLE,R_9_12_APPROPRIATE,R_9_15_THE_PAGE,R_9_16_OPPOSITE] :
      ( 120(R_9_6_120)
      & 180(R_9_8_180)
      & appropriate(R_9_12_APPROPRIATE)
      & opposite(R_9_16_OPPOSITE)
      & write(R_9_1_WRITE,Z_9_A_FCE_102_2001_12_1,R_9_2_A_LETTER)
      & a_letter(R_9_2_A_LETTER)
      & of(R_9_2_A_LETTER,R_9_9_WORDS)
      & words(R_9_9_WORDS)
      & between(R_9_9_WORDS,R_9_7_AND)
      & and(R_9_7_AND)
      & conj1(R_9_7_AND,R_9_6_120)
      & conj2(R_9_7_AND,R_9_8_180)
      & in_nim32(R_9_1_WRITE,R_9_11_AN_STYLE)
      & an_style(R_9_11_AN_STYLE)
      & attrib35(R_9_11_AN_STYLE,R_9_12_APPROPRIATE)
      & on_nim43(R_9_1_WRITE,R_9_15_THE_PAGE)
      & the_page(R_9_15_THE_PAGE)
      & attrib46(R_9_15_THE_PAGE,R_9_16_OPPOSITE) ) ).


n9_a_fce_0102_2001_12 n9_a_fce_0102_2001_12_3 Write n9_a_fce_0102_2001_12_6 a n9_a_fce_0102_2001_12_8 letter n9_a_fce_0102_2001_12_11 of n9_a_fce_0102_2001_12_15 between n9_a_fce_0102_2001_12_20 120 n9_a_fce_0102_2001_12_23 and n9_a_fce_0102_2001_12_26 180 n9_a_fce_0102_2001_12_28 words n9_a_fce_0102_2001_12_31 in n9_a_fce_0102_2001_12_34 an n9_a_fce_0102_2001_12_37 appropriate n9_a_fce_0102_2001_12_39 style n9_a_fce_0102_2001_12_42 on n9_a_fce_0102_2001_12_45 the n9_a_fce_0102_2001_12_48 opposite n9_a_fce_0102_2001_12_50 page n9_a_fce_0102_2001_12_52 . n9_a_fce_0102_2001_12_1 IP-IMP n9_a_fce_0102_2001_12_2 VB;_Tn_ n9_a_fce_0102_2001_12_1->n9_a_fce_0102_2001_12_2 n9_a_fce_0102_2001_12_4 NP-OB1 n9_a_fce_0102_2001_12_1->n9_a_fce_0102_2001_12_4 n9_a_fce_0102_2001_12_29 PP-NIM n9_a_fce_0102_2001_12_1->n9_a_fce_0102_2001_12_29 n9_a_fce_0102_2001_12_40 PP-NIM n9_a_fce_0102_2001_12_1->n9_a_fce_0102_2001_12_40 n9_a_fce_0102_2001_12_51 PUNC n9_a_fce_0102_2001_12_1->n9_a_fce_0102_2001_12_51 n9_a_fce_0102_2001_12_2->n9_a_fce_0102_2001_12_3 n9_a_fce_0102_2001_12_5 D n9_a_fce_0102_2001_12_4->n9_a_fce_0102_2001_12_5 n9_a_fce_0102_2001_12_7 N n9_a_fce_0102_2001_12_4->n9_a_fce_0102_2001_12_7 n9_a_fce_0102_2001_12_9 PP n9_a_fce_0102_2001_12_4->n9_a_fce_0102_2001_12_9 n9_a_fce_0102_2001_12_5->n9_a_fce_0102_2001_12_6 n9_a_fce_0102_2001_12_7->n9_a_fce_0102_2001_12_8 n9_a_fce_0102_2001_12_10 P-ROLE n9_a_fce_0102_2001_12_9->n9_a_fce_0102_2001_12_10 n9_a_fce_0102_2001_12_12 NP n9_a_fce_0102_2001_12_9->n9_a_fce_0102_2001_12_12 n9_a_fce_0102_2001_12_10->n9_a_fce_0102_2001_12_11 n9_a_fce_0102_2001_12_13 PP n9_a_fce_0102_2001_12_12->n9_a_fce_0102_2001_12_13 n9_a_fce_0102_2001_12_27 NS n9_a_fce_0102_2001_12_12->n9_a_fce_0102_2001_12_27 n9_a_fce_0102_2001_12_14 P-ROLE n9_a_fce_0102_2001_12_13->n9_a_fce_0102_2001_12_14 n9_a_fce_0102_2001_12_16 NP n9_a_fce_0102_2001_12_13->n9_a_fce_0102_2001_12_16 n9_a_fce_0102_2001_12_14->n9_a_fce_0102_2001_12_15 n9_a_fce_0102_2001_12_17 NLYR n9_a_fce_0102_2001_12_16->n9_a_fce_0102_2001_12_17 n9_a_fce_0102_2001_12_18 NLYR n9_a_fce_0102_2001_12_17->n9_a_fce_0102_2001_12_18 n9_a_fce_0102_2001_12_21 CONJP n9_a_fce_0102_2001_12_17->n9_a_fce_0102_2001_12_21 n9_a_fce_0102_2001_12_19 NUM n9_a_fce_0102_2001_12_18->n9_a_fce_0102_2001_12_19 n9_a_fce_0102_2001_12_19->n9_a_fce_0102_2001_12_20 n9_a_fce_0102_2001_12_22 CONJ n9_a_fce_0102_2001_12_21->n9_a_fce_0102_2001_12_22 n9_a_fce_0102_2001_12_24 NLYR n9_a_fce_0102_2001_12_21->n9_a_fce_0102_2001_12_24 n9_a_fce_0102_2001_12_22->n9_a_fce_0102_2001_12_23 n9_a_fce_0102_2001_12_25 NUM n9_a_fce_0102_2001_12_24->n9_a_fce_0102_2001_12_25 n9_a_fce_0102_2001_12_25->n9_a_fce_0102_2001_12_26 n9_a_fce_0102_2001_12_27->n9_a_fce_0102_2001_12_28 n9_a_fce_0102_2001_12_30 P-ROLE n9_a_fce_0102_2001_12_29->n9_a_fce_0102_2001_12_30 n9_a_fce_0102_2001_12_32 NP n9_a_fce_0102_2001_12_29->n9_a_fce_0102_2001_12_32 n9_a_fce_0102_2001_12_30->n9_a_fce_0102_2001_12_31 n9_a_fce_0102_2001_12_33 D n9_a_fce_0102_2001_12_32->n9_a_fce_0102_2001_12_33 n9_a_fce_0102_2001_12_35 ADJP n9_a_fce_0102_2001_12_32->n9_a_fce_0102_2001_12_35 n9_a_fce_0102_2001_12_38 N n9_a_fce_0102_2001_12_32->n9_a_fce_0102_2001_12_38 n9_a_fce_0102_2001_12_33->n9_a_fce_0102_2001_12_34 n9_a_fce_0102_2001_12_36 ADJ n9_a_fce_0102_2001_12_35->n9_a_fce_0102_2001_12_36 n9_a_fce_0102_2001_12_36->n9_a_fce_0102_2001_12_37 n9_a_fce_0102_2001_12_38->n9_a_fce_0102_2001_12_39 n9_a_fce_0102_2001_12_41 P-ROLE n9_a_fce_0102_2001_12_40->n9_a_fce_0102_2001_12_41 n9_a_fce_0102_2001_12_43 NP n9_a_fce_0102_2001_12_40->n9_a_fce_0102_2001_12_43 n9_a_fce_0102_2001_12_41->n9_a_fce_0102_2001_12_42 n9_a_fce_0102_2001_12_44 D n9_a_fce_0102_2001_12_43->n9_a_fce_0102_2001_12_44 n9_a_fce_0102_2001_12_46 ADJP n9_a_fce_0102_2001_12_43->n9_a_fce_0102_2001_12_46 n9_a_fce_0102_2001_12_49 N n9_a_fce_0102_2001_12_43->n9_a_fce_0102_2001_12_49 n9_a_fce_0102_2001_12_44->n9_a_fce_0102_2001_12_45 n9_a_fce_0102_2001_12_47 ADJ n9_a_fce_0102_2001_12_46->n9_a_fce_0102_2001_12_47 n9_a_fce_0102_2001_12_47->n9_a_fce_0102_2001_12_48 n9_a_fce_0102_2001_12_49->n9_a_fce_0102_2001_12_50 n9_a_fce_0102_2001_12_51->n9_a_fce_0102_2001_12_52 
( (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 9_a_fce_0102_2001_12))