( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ;{GIANT} (PRO he;{he}))
          (ILYR (ILYR (VBD;_Tn_ built;{build})
                      (NP-OB1 (D a;{a})
                              (ADJP (ADJ high;{high}))
                              (N wall;{wall})
                              (PP (ADVP-NIM (ADV all;{all}))
                                  (P-ROLE round;{round})
                                  (NP;{GARDEN} (PRO it;{it})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_phr_Vn<=>p_ put;{put[up]})
                             (RP up;{up})
                             (NP-OB1 (D a;{a})
                                     (N notice;{notice})
                                     (PUNC <hyphen>)
                                     (N board;{board})))))
          (PUNC .))
  (ID 13_a_wilde_2_1888))

arc(r_0013_0003__built,r_0013_0001__So,nim).
arc(r_0013_0003__built,r_0013_0002__he,arg0).
arc(r_0013_0003__built,r_0013_0004__a_r_0013_0006__wall,arg1).
arc(r_0013_0004__a_r_0013_0006__wall,r_0013_0005__high,attrib).
arc(r_0013_0004__a_r_0013_0006__wall,r_0013_0009__it,r_0013_0007__all_r_0013_0008__round).
arc(r_0013_0011__and,r_0013_0003__built,conj1).
arc(r_0013_0011__and,r_0013_0012__put_r_0013_0013__up,conj2).
arc(r_0013_0012__put_r_0013_0013__up,r_0013_0001__So,nim).
arc(r_0013_0012__put_r_0013_0013__up,r_0013_0002__he,arg0).
arc(r_0013_0012__put_r_0013_0013__up,r_0013_0014__a_r_0013_0015__notice_r_0013_0017__board,arg1).

fof(formula,axiom,
    ? [R_0013_0001__SO,R_0013_0002__HE,R_0013_0005__HIGH,R_0013_0009__IT,R_0013_0004__A_R_0013_0006__WALL,R_0013_0003__BUILT,R_0013_0014__A_R_0013_0015__NOTICE_R_0013_0017__BOARD,R_0013_0012__PUT_R_0013_0013__UP,R_0013_0011__AND] :
      ( r_0013_0001__So(R_0013_0001__SO)
      & r_0013_0002__he(R_0013_0002__HE)
      & r_0013_0005__high(R_0013_0005__HIGH)
      & r_0013_0009__it(R_0013_0009__IT)
      & r_0013_0014__a_r_0013_0015__notice_r_0013_0017__board(R_0013_0014__A_R_0013_0015__NOTICE_R_0013_0017__BOARD)
      & r_0013_0011__and(R_0013_0011__AND)
      & has_conj2(R_0013_0011__AND,R_0013_0012__PUT_R_0013_0013__UP)
      & r_0013_0012__put_r_0013_0013__up(R_0013_0012__PUT_R_0013_0013__UP)
      & has_arg1(R_0013_0012__PUT_R_0013_0013__UP,R_0013_0014__A_R_0013_0015__NOTICE_R_0013_0017__BOARD)
      & has_arg0(R_0013_0012__PUT_R_0013_0013__UP,R_0013_0002__HE)
      & has_nim(R_0013_0012__PUT_R_0013_0013__UP,R_0013_0001__SO)
      & has_conj1(R_0013_0011__AND,R_0013_0003__BUILT)
      & r_0013_0003__built(R_0013_0003__BUILT)
      & has_arg1(R_0013_0003__BUILT,R_0013_0004__A_R_0013_0006__WALL)
      & r_0013_0004__a_r_0013_0006__wall(R_0013_0004__A_R_0013_0006__WALL)
      & has_r_0013_0007__all_r_0013_0008__round(R_0013_0004__A_R_0013_0006__WALL,R_0013_0009__IT)
      & has_attrib(R_0013_0004__A_R_0013_0006__WALL,R_0013_0005__HIGH)
      & has_arg0(R_0013_0003__BUILT,R_0013_0002__HE)
      & has_nim(R_0013_0003__BUILT,R_0013_0001__SO) ) ).