( (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))

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__nim).
arc(r_0016_0001__Write,r_0016_0015__the_r_0016_0017__page,r_0016_0014__on__nim).
arc(r_0016_0001__Write,z_0016_5002,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,attrib).
arc(r_0016_0015__the_r_0016_0017__page,r_0016_0016__opposite,attrib).

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_0016_5002,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_0016_5002(Z_0016_5002)
      & r_0016_0001__Write(R_0016_0001__WRITE)
      & has_arg0(R_0016_0001__WRITE,Z_0016_5002)
      & has_r_0016_0014__on__nim(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_attrib(R_0016_0015__THE_R_0016_0017__PAGE,R_0016_0016__OPPOSITE)
      & has_r_0016_0010__in__nim(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_attrib(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) ) ).