Context                Previous, Next                Top


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

%3 r_0010_0001__Write Write r_0010_0002__a_r_0010_0003__letter a letter r_0010_0001__Write->r_0010_0002__a_r_0010_0003__letter [arg1] r_0010_0011__an_r_0010_0013__style an style r_0010_0001__Write->r_0010_0011__an_r_0010_0013__style in [nim] r_0010_0015__the_r_0010_0017__page the page r_0010_0001__Write->r_0010_0015__the_r_0010_0017__page on [nim] z_000_10_a_fce_0102_2001_06_1 r_0010_0001__Write->z_000_10_a_fce_0102_2001_06_1 [arg0] r_0010_0009__words words r_0010_0002__a_r_0010_0003__letter->r_0010_0009__words of r_0010_0012__appropriate appropriate r_0010_0011__an_r_0010_0013__style->r_0010_0012__appropriate [attrib] r_0010_0016__opposite opposite r_0010_0015__the_r_0010_0017__page->r_0010_0016__opposite [attrib] r_0010_0007__and and r_0010_0009__words->r_0010_0007__and between r_0010_0006__120 120 r_0010_0007__and->r_0010_0006__120 [conj1] r_0010_0008__180 180 r_0010_0007__and->r_0010_0008__180 [conj2] 
arc(r_0010_0001__Write, r_0010_0002__a_r_0010_0003__letter, arg1).
arc(r_0010_0001__Write, r_0010_0011__an_r_0010_0013__style, r_0010_0010__in_nim32).
arc(r_0010_0001__Write, r_0010_0015__the_r_0010_0017__page, r_0010_0014__on_nim43).
arc(r_0010_0001__Write, z_000_10_a_fce_0102_2001_06_1, arg0).
arc(r_0010_0002__a_r_0010_0003__letter, r_0010_0009__words, r_0010_0004__of).
arc(r_0010_0007__and, r_0010_0006__120, conj1).
arc(r_0010_0007__and, r_0010_0008__180, conj2).
arc(r_0010_0009__words, r_0010_0007__and, r_0010_0005__between).
arc(r_0010_0011__an_r_0010_0013__style, r_0010_0012__appropriate, attrib35).
arc(r_0010_0015__the_r_0010_0017__page, r_0010_0016__opposite, attrib46).


%3 r_0010_0001__Write Write r_0010_0002__a_r_0010_0003__letter a letter r_0010_0001__Write->r_0010_0002__a_r_0010_0003__letter [arg1] r_0010_0011__an_r_0010_0013__style an style r_0010_0001__Write->r_0010_0011__an_r_0010_0013__style in [nim] r_0010_0015__the_r_0010_0017__page the page r_0010_0001__Write->r_0010_0015__the_r_0010_0017__page on [nim] z_000_10_a_fce_0102_2001_06_1 r_0010_0001__Write->z_000_10_a_fce_0102_2001_06_1 [arg0] r_0010_0009__words words r_0010_0002__a_r_0010_0003__letter->r_0010_0009__words of r_0010_0012__appropriate appropriate r_0010_0011__an_r_0010_0013__style->r_0010_0012__appropriate [attrib] r_0010_0016__opposite opposite r_0010_0015__the_r_0010_0017__page->r_0010_0016__opposite [attrib] r_0010_0007__and and r_0010_0009__words->r_0010_0007__and between r_0010_0006__120 120 r_0010_0007__and->r_0010_0006__120 [conj1] r_0010_0008__180 180 r_0010_0007__and->r_0010_0008__180 [conj2] 
fof(formula,axiom,
    ? [R_10_1_WRITE,Z_10_A_FCE_102_2001_6_1,R_10_2_A_LETTER,R_10_9_WORDS,R_10_7_AND,R_10_6_120,R_10_8_180,R_10_11_AN_STYLE,R_10_12_APPROPRIATE,R_10_15_THE_PAGE,R_10_16_OPPOSITE] :
      ( 120(R_10_6_120)
      & 180(R_10_8_180)
      & appropriate(R_10_12_APPROPRIATE)
      & opposite(R_10_16_OPPOSITE)
      & write(R_10_1_WRITE,Z_10_A_FCE_102_2001_6_1,R_10_2_A_LETTER)
      & a_letter(R_10_2_A_LETTER)
      & of(R_10_2_A_LETTER,R_10_9_WORDS)
      & words(R_10_9_WORDS)
      & between(R_10_9_WORDS,R_10_7_AND)
      & and(R_10_7_AND)
      & conj1(R_10_7_AND,R_10_6_120)
      & conj2(R_10_7_AND,R_10_8_180)
      & in_nim32(R_10_1_WRITE,R_10_11_AN_STYLE)
      & an_style(R_10_11_AN_STYLE)
      & attrib35(R_10_11_AN_STYLE,R_10_12_APPROPRIATE)
      & on_nim43(R_10_1_WRITE,R_10_15_THE_PAGE)
      & the_page(R_10_15_THE_PAGE)
      & attrib46(R_10_15_THE_PAGE,R_10_16_OPPOSITE) ) ).


n10_a_fce_0102_2001_06 n10_a_fce_0102_2001_06_3 Write n10_a_fce_0102_2001_06_6 a n10_a_fce_0102_2001_06_8 letter n10_a_fce_0102_2001_06_11 of n10_a_fce_0102_2001_06_15 between n10_a_fce_0102_2001_06_20 120 n10_a_fce_0102_2001_06_23 and n10_a_fce_0102_2001_06_26 180 n10_a_fce_0102_2001_06_28 words n10_a_fce_0102_2001_06_31 in n10_a_fce_0102_2001_06_34 an n10_a_fce_0102_2001_06_37 appropriate n10_a_fce_0102_2001_06_39 style n10_a_fce_0102_2001_06_42 on n10_a_fce_0102_2001_06_45 the n10_a_fce_0102_2001_06_48 opposite n10_a_fce_0102_2001_06_50 page n10_a_fce_0102_2001_06_52 . n10_a_fce_0102_2001_06_1 IP-IMP n10_a_fce_0102_2001_06_2 VB;_Tn_ n10_a_fce_0102_2001_06_1->n10_a_fce_0102_2001_06_2 n10_a_fce_0102_2001_06_4 NP-OB1 n10_a_fce_0102_2001_06_1->n10_a_fce_0102_2001_06_4 n10_a_fce_0102_2001_06_29 PP-NIM n10_a_fce_0102_2001_06_1->n10_a_fce_0102_2001_06_29 n10_a_fce_0102_2001_06_40 PP-NIM n10_a_fce_0102_2001_06_1->n10_a_fce_0102_2001_06_40 n10_a_fce_0102_2001_06_51 PUNC n10_a_fce_0102_2001_06_1->n10_a_fce_0102_2001_06_51 n10_a_fce_0102_2001_06_2->n10_a_fce_0102_2001_06_3 n10_a_fce_0102_2001_06_5 D n10_a_fce_0102_2001_06_4->n10_a_fce_0102_2001_06_5 n10_a_fce_0102_2001_06_7 N n10_a_fce_0102_2001_06_4->n10_a_fce_0102_2001_06_7 n10_a_fce_0102_2001_06_9 PP n10_a_fce_0102_2001_06_4->n10_a_fce_0102_2001_06_9 n10_a_fce_0102_2001_06_5->n10_a_fce_0102_2001_06_6 n10_a_fce_0102_2001_06_7->n10_a_fce_0102_2001_06_8 n10_a_fce_0102_2001_06_10 P-ROLE n10_a_fce_0102_2001_06_9->n10_a_fce_0102_2001_06_10 n10_a_fce_0102_2001_06_12 NP n10_a_fce_0102_2001_06_9->n10_a_fce_0102_2001_06_12 n10_a_fce_0102_2001_06_10->n10_a_fce_0102_2001_06_11 n10_a_fce_0102_2001_06_13 PP n10_a_fce_0102_2001_06_12->n10_a_fce_0102_2001_06_13 n10_a_fce_0102_2001_06_27 NS n10_a_fce_0102_2001_06_12->n10_a_fce_0102_2001_06_27 n10_a_fce_0102_2001_06_14 P-ROLE n10_a_fce_0102_2001_06_13->n10_a_fce_0102_2001_06_14 n10_a_fce_0102_2001_06_16 NP n10_a_fce_0102_2001_06_13->n10_a_fce_0102_2001_06_16 n10_a_fce_0102_2001_06_14->n10_a_fce_0102_2001_06_15 n10_a_fce_0102_2001_06_17 NLYR n10_a_fce_0102_2001_06_16->n10_a_fce_0102_2001_06_17 n10_a_fce_0102_2001_06_18 NLYR n10_a_fce_0102_2001_06_17->n10_a_fce_0102_2001_06_18 n10_a_fce_0102_2001_06_21 CONJP n10_a_fce_0102_2001_06_17->n10_a_fce_0102_2001_06_21 n10_a_fce_0102_2001_06_19 NUM n10_a_fce_0102_2001_06_18->n10_a_fce_0102_2001_06_19 n10_a_fce_0102_2001_06_19->n10_a_fce_0102_2001_06_20 n10_a_fce_0102_2001_06_22 CONJ n10_a_fce_0102_2001_06_21->n10_a_fce_0102_2001_06_22 n10_a_fce_0102_2001_06_24 NLYR n10_a_fce_0102_2001_06_21->n10_a_fce_0102_2001_06_24 n10_a_fce_0102_2001_06_22->n10_a_fce_0102_2001_06_23 n10_a_fce_0102_2001_06_25 NUM n10_a_fce_0102_2001_06_24->n10_a_fce_0102_2001_06_25 n10_a_fce_0102_2001_06_25->n10_a_fce_0102_2001_06_26 n10_a_fce_0102_2001_06_27->n10_a_fce_0102_2001_06_28 n10_a_fce_0102_2001_06_30 P-ROLE n10_a_fce_0102_2001_06_29->n10_a_fce_0102_2001_06_30 n10_a_fce_0102_2001_06_32 NP n10_a_fce_0102_2001_06_29->n10_a_fce_0102_2001_06_32 n10_a_fce_0102_2001_06_30->n10_a_fce_0102_2001_06_31 n10_a_fce_0102_2001_06_33 D n10_a_fce_0102_2001_06_32->n10_a_fce_0102_2001_06_33 n10_a_fce_0102_2001_06_35 ADJP n10_a_fce_0102_2001_06_32->n10_a_fce_0102_2001_06_35 n10_a_fce_0102_2001_06_38 N n10_a_fce_0102_2001_06_32->n10_a_fce_0102_2001_06_38 n10_a_fce_0102_2001_06_33->n10_a_fce_0102_2001_06_34 n10_a_fce_0102_2001_06_36 ADJ n10_a_fce_0102_2001_06_35->n10_a_fce_0102_2001_06_36 n10_a_fce_0102_2001_06_36->n10_a_fce_0102_2001_06_37 n10_a_fce_0102_2001_06_38->n10_a_fce_0102_2001_06_39 n10_a_fce_0102_2001_06_41 P-ROLE n10_a_fce_0102_2001_06_40->n10_a_fce_0102_2001_06_41 n10_a_fce_0102_2001_06_43 NP n10_a_fce_0102_2001_06_40->n10_a_fce_0102_2001_06_43 n10_a_fce_0102_2001_06_41->n10_a_fce_0102_2001_06_42 n10_a_fce_0102_2001_06_44 D n10_a_fce_0102_2001_06_43->n10_a_fce_0102_2001_06_44 n10_a_fce_0102_2001_06_46 ADJP n10_a_fce_0102_2001_06_43->n10_a_fce_0102_2001_06_46 n10_a_fce_0102_2001_06_49 N n10_a_fce_0102_2001_06_43->n10_a_fce_0102_2001_06_49 n10_a_fce_0102_2001_06_44->n10_a_fce_0102_2001_06_45 n10_a_fce_0102_2001_06_47 ADJ n10_a_fce_0102_2001_06_46->n10_a_fce_0102_2001_06_47 n10_a_fce_0102_2001_06_47->n10_a_fce_0102_2001_06_48 n10_a_fce_0102_2001_06_49->n10_a_fce_0102_2001_06_50 n10_a_fce_0102_2001_06_51->n10_a_fce_0102_2001_06_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 10_a_fce_0102_2001_06))