Context                Previous, Next                Top


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

%3 r_0012_0001__Write Write r_0012_0002__a_r_0012_0003__letter a letter r_0012_0001__Write->r_0012_0002__a_r_0012_0003__letter [arg1] r_0012_0011__an_r_0012_0013__style an style r_0012_0001__Write->r_0012_0011__an_r_0012_0013__style in [nim] r_0012_0015__the_r_0012_0017__page the page r_0012_0001__Write->r_0012_0015__the_r_0012_0017__page on [nim] z_000_12_a_fce_0102_2001_03_1 r_0012_0001__Write->z_000_12_a_fce_0102_2001_03_1 [arg0] r_0012_0009__words words r_0012_0002__a_r_0012_0003__letter->r_0012_0009__words of r_0012_0012__appropriate appropriate r_0012_0011__an_r_0012_0013__style->r_0012_0012__appropriate [attrib] r_0012_0016__opposite opposite r_0012_0015__the_r_0012_0017__page->r_0012_0016__opposite [attrib] r_0012_0007__and and r_0012_0009__words->r_0012_0007__and between r_0012_0006__120 120 r_0012_0007__and->r_0012_0006__120 [conj1] r_0012_0008__180 180 r_0012_0007__and->r_0012_0008__180 [conj2] 
arc(r_0012_0001__Write, r_0012_0002__a_r_0012_0003__letter, arg1).
arc(r_0012_0001__Write, r_0012_0011__an_r_0012_0013__style, r_0012_0010__in_nim32).
arc(r_0012_0001__Write, r_0012_0015__the_r_0012_0017__page, r_0012_0014__on_nim43).
arc(r_0012_0001__Write, z_000_12_a_fce_0102_2001_03_1, arg0).
arc(r_0012_0002__a_r_0012_0003__letter, r_0012_0009__words, r_0012_0004__of).
arc(r_0012_0007__and, r_0012_0006__120, conj1).
arc(r_0012_0007__and, r_0012_0008__180, conj2).
arc(r_0012_0009__words, r_0012_0007__and, r_0012_0005__between).
arc(r_0012_0011__an_r_0012_0013__style, r_0012_0012__appropriate, attrib35).
arc(r_0012_0015__the_r_0012_0017__page, r_0012_0016__opposite, attrib46).


%3 r_0012_0001__Write Write r_0012_0002__a_r_0012_0003__letter a letter r_0012_0001__Write->r_0012_0002__a_r_0012_0003__letter [arg1] r_0012_0011__an_r_0012_0013__style an style r_0012_0001__Write->r_0012_0011__an_r_0012_0013__style in [nim] r_0012_0015__the_r_0012_0017__page the page r_0012_0001__Write->r_0012_0015__the_r_0012_0017__page on [nim] z_000_12_a_fce_0102_2001_03_1 r_0012_0001__Write->z_000_12_a_fce_0102_2001_03_1 [arg0] r_0012_0009__words words r_0012_0002__a_r_0012_0003__letter->r_0012_0009__words of r_0012_0012__appropriate appropriate r_0012_0011__an_r_0012_0013__style->r_0012_0012__appropriate [attrib] r_0012_0016__opposite opposite r_0012_0015__the_r_0012_0017__page->r_0012_0016__opposite [attrib] r_0012_0007__and and r_0012_0009__words->r_0012_0007__and between r_0012_0006__120 120 r_0012_0007__and->r_0012_0006__120 [conj1] r_0012_0008__180 180 r_0012_0007__and->r_0012_0008__180 [conj2] 
fof(formula,axiom,
    ? [R_12_1_WRITE,Z_12_A_FCE_102_2001_3_1,R_12_2_A_LETTER,R_12_9_WORDS,R_12_7_AND,R_12_6_120,R_12_8_180,R_12_11_AN_STYLE,R_12_12_APPROPRIATE,R_12_15_THE_PAGE,R_12_16_OPPOSITE] :
      ( 120(R_12_6_120)
      & 180(R_12_8_180)
      & appropriate(R_12_12_APPROPRIATE)
      & opposite(R_12_16_OPPOSITE)
      & write(R_12_1_WRITE,Z_12_A_FCE_102_2001_3_1,R_12_2_A_LETTER)
      & a_letter(R_12_2_A_LETTER)
      & of(R_12_2_A_LETTER,R_12_9_WORDS)
      & words(R_12_9_WORDS)
      & between(R_12_9_WORDS,R_12_7_AND)
      & and(R_12_7_AND)
      & conj1(R_12_7_AND,R_12_6_120)
      & conj2(R_12_7_AND,R_12_8_180)
      & in_nim32(R_12_1_WRITE,R_12_11_AN_STYLE)
      & an_style(R_12_11_AN_STYLE)
      & attrib35(R_12_11_AN_STYLE,R_12_12_APPROPRIATE)
      & on_nim43(R_12_1_WRITE,R_12_15_THE_PAGE)
      & the_page(R_12_15_THE_PAGE)
      & attrib46(R_12_15_THE_PAGE,R_12_16_OPPOSITE) ) ).


n12_a_fce_0102_2001_03 n12_a_fce_0102_2001_03_3 Write n12_a_fce_0102_2001_03_6 a n12_a_fce_0102_2001_03_8 letter n12_a_fce_0102_2001_03_11 of n12_a_fce_0102_2001_03_15 between n12_a_fce_0102_2001_03_20 120 n12_a_fce_0102_2001_03_23 and n12_a_fce_0102_2001_03_26 180 n12_a_fce_0102_2001_03_28 words n12_a_fce_0102_2001_03_31 in n12_a_fce_0102_2001_03_34 an n12_a_fce_0102_2001_03_37 appropriate n12_a_fce_0102_2001_03_39 style n12_a_fce_0102_2001_03_42 on n12_a_fce_0102_2001_03_45 the n12_a_fce_0102_2001_03_48 opposite n12_a_fce_0102_2001_03_50 page n12_a_fce_0102_2001_03_52 . n12_a_fce_0102_2001_03_1 IP-IMP n12_a_fce_0102_2001_03_2 VB;_Tn_ n12_a_fce_0102_2001_03_1->n12_a_fce_0102_2001_03_2 n12_a_fce_0102_2001_03_4 NP-OB1 n12_a_fce_0102_2001_03_1->n12_a_fce_0102_2001_03_4 n12_a_fce_0102_2001_03_29 PP-NIM n12_a_fce_0102_2001_03_1->n12_a_fce_0102_2001_03_29 n12_a_fce_0102_2001_03_40 PP-NIM n12_a_fce_0102_2001_03_1->n12_a_fce_0102_2001_03_40 n12_a_fce_0102_2001_03_51 PUNC n12_a_fce_0102_2001_03_1->n12_a_fce_0102_2001_03_51 n12_a_fce_0102_2001_03_2->n12_a_fce_0102_2001_03_3 n12_a_fce_0102_2001_03_5 D n12_a_fce_0102_2001_03_4->n12_a_fce_0102_2001_03_5 n12_a_fce_0102_2001_03_7 N n12_a_fce_0102_2001_03_4->n12_a_fce_0102_2001_03_7 n12_a_fce_0102_2001_03_9 PP n12_a_fce_0102_2001_03_4->n12_a_fce_0102_2001_03_9 n12_a_fce_0102_2001_03_5->n12_a_fce_0102_2001_03_6 n12_a_fce_0102_2001_03_7->n12_a_fce_0102_2001_03_8 n12_a_fce_0102_2001_03_10 P-ROLE n12_a_fce_0102_2001_03_9->n12_a_fce_0102_2001_03_10 n12_a_fce_0102_2001_03_12 NP n12_a_fce_0102_2001_03_9->n12_a_fce_0102_2001_03_12 n12_a_fce_0102_2001_03_10->n12_a_fce_0102_2001_03_11 n12_a_fce_0102_2001_03_13 PP n12_a_fce_0102_2001_03_12->n12_a_fce_0102_2001_03_13 n12_a_fce_0102_2001_03_27 NS n12_a_fce_0102_2001_03_12->n12_a_fce_0102_2001_03_27 n12_a_fce_0102_2001_03_14 P-ROLE n12_a_fce_0102_2001_03_13->n12_a_fce_0102_2001_03_14 n12_a_fce_0102_2001_03_16 NP n12_a_fce_0102_2001_03_13->n12_a_fce_0102_2001_03_16 n12_a_fce_0102_2001_03_14->n12_a_fce_0102_2001_03_15 n12_a_fce_0102_2001_03_17 NLYR n12_a_fce_0102_2001_03_16->n12_a_fce_0102_2001_03_17 n12_a_fce_0102_2001_03_18 NLYR n12_a_fce_0102_2001_03_17->n12_a_fce_0102_2001_03_18 n12_a_fce_0102_2001_03_21 CONJP n12_a_fce_0102_2001_03_17->n12_a_fce_0102_2001_03_21 n12_a_fce_0102_2001_03_19 NUM n12_a_fce_0102_2001_03_18->n12_a_fce_0102_2001_03_19 n12_a_fce_0102_2001_03_19->n12_a_fce_0102_2001_03_20 n12_a_fce_0102_2001_03_22 CONJ n12_a_fce_0102_2001_03_21->n12_a_fce_0102_2001_03_22 n12_a_fce_0102_2001_03_24 NLYR n12_a_fce_0102_2001_03_21->n12_a_fce_0102_2001_03_24 n12_a_fce_0102_2001_03_22->n12_a_fce_0102_2001_03_23 n12_a_fce_0102_2001_03_25 NUM n12_a_fce_0102_2001_03_24->n12_a_fce_0102_2001_03_25 n12_a_fce_0102_2001_03_25->n12_a_fce_0102_2001_03_26 n12_a_fce_0102_2001_03_27->n12_a_fce_0102_2001_03_28 n12_a_fce_0102_2001_03_30 P-ROLE n12_a_fce_0102_2001_03_29->n12_a_fce_0102_2001_03_30 n12_a_fce_0102_2001_03_32 NP n12_a_fce_0102_2001_03_29->n12_a_fce_0102_2001_03_32 n12_a_fce_0102_2001_03_30->n12_a_fce_0102_2001_03_31 n12_a_fce_0102_2001_03_33 D n12_a_fce_0102_2001_03_32->n12_a_fce_0102_2001_03_33 n12_a_fce_0102_2001_03_35 ADJP n12_a_fce_0102_2001_03_32->n12_a_fce_0102_2001_03_35 n12_a_fce_0102_2001_03_38 N n12_a_fce_0102_2001_03_32->n12_a_fce_0102_2001_03_38 n12_a_fce_0102_2001_03_33->n12_a_fce_0102_2001_03_34 n12_a_fce_0102_2001_03_36 ADJ n12_a_fce_0102_2001_03_35->n12_a_fce_0102_2001_03_36 n12_a_fce_0102_2001_03_36->n12_a_fce_0102_2001_03_37 n12_a_fce_0102_2001_03_38->n12_a_fce_0102_2001_03_39 n12_a_fce_0102_2001_03_41 P-ROLE n12_a_fce_0102_2001_03_40->n12_a_fce_0102_2001_03_41 n12_a_fce_0102_2001_03_43 NP n12_a_fce_0102_2001_03_40->n12_a_fce_0102_2001_03_43 n12_a_fce_0102_2001_03_41->n12_a_fce_0102_2001_03_42 n12_a_fce_0102_2001_03_44 D n12_a_fce_0102_2001_03_43->n12_a_fce_0102_2001_03_44 n12_a_fce_0102_2001_03_46 ADJP n12_a_fce_0102_2001_03_43->n12_a_fce_0102_2001_03_46 n12_a_fce_0102_2001_03_49 N n12_a_fce_0102_2001_03_43->n12_a_fce_0102_2001_03_49 n12_a_fce_0102_2001_03_44->n12_a_fce_0102_2001_03_45 n12_a_fce_0102_2001_03_47 ADJ n12_a_fce_0102_2001_03_46->n12_a_fce_0102_2001_03_47 n12_a_fce_0102_2001_03_47->n12_a_fce_0102_2001_03_48 n12_a_fce_0102_2001_03_49->n12_a_fce_0102_2001_03_50 n12_a_fce_0102_2001_03_51->n12_a_fce_0102_2001_03_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 12_a_fce_0102_2001_03))