13_a_wilde_2_1888
So he built a high wall all round it, and put up a notice - board.

%3 r_0013_0003__built built r_0013_0001__So So r_0013_0003__built->r_0013_0001__So [nim] r_0013_0002__he he r_0013_0003__built->r_0013_0002__he [arg0] r_0013_0004__a_r_0013_0006__wall a wall r_0013_0003__built->r_0013_0004__a_r_0013_0006__wall [arg1] r_0013_0005__high high r_0013_0004__a_r_0013_0006__wall->r_0013_0005__high [attrib] r_0013_0009__it it r_0013_0004__a_r_0013_0006__wall->r_0013_0009__it all round r_0013_0011__and and r_0013_0011__and->r_0013_0003__built [conj1] r_0013_0012__put_r_0013_0013__up put up r_0013_0011__and->r_0013_0012__put_r_0013_0013__up [conj2] r_0013_0012__put_r_0013_0013__up->r_0013_0001__So [nim] r_0013_0012__put_r_0013_0013__up->r_0013_0002__he [arg0] r_0013_0014__a_r_0013_0015__notice_r_0013_0017__board a notice board r_0013_0012__put_r_0013_0013__up->r_0013_0014__a_r_0013_0015__notice_r_0013_0017__board [arg1]
arc(r_0013_0003__built, r_0013_0001__So, nim2).
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, attrib15).
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, nim2).
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).



%3 r_0013_0003__built built r_0013_0001__So So r_0013_0003__built->r_0013_0001__So [nim] r_0013_0002__he he r_0013_0003__built->r_0013_0002__he [arg0] r_0013_0004__a_r_0013_0006__wall a wall r_0013_0003__built->r_0013_0004__a_r_0013_0006__wall [arg1] r_0013_0005__high high r_0013_0004__a_r_0013_0006__wall->r_0013_0005__high [attrib] r_0013_0009__it it r_0013_0004__a_r_0013_0006__wall->r_0013_0009__it all round r_0013_0011__and and r_0013_0011__and->r_0013_0003__built [conj1] r_0013_0012__put_r_0013_0013__up put up r_0013_0011__and->r_0013_0012__put_r_0013_0013__up [conj2] r_0013_0012__put_r_0013_0013__up->r_0013_0001__So [nim] r_0013_0012__put_r_0013_0013__up->r_0013_0002__he [arg0] r_0013_0014__a_r_0013_0015__notice_r_0013_0017__board a notice board 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_13_11_AND,R_13_3_BUILT,R_13_4_A_WALL,R_13_5_HIGH,R_13_9_IT,R_13_12_PUT_UP,R_13_2_HE,R_13_14_A_NOTICE_BOARD,R_13_1_SO] :
      ( high(R_13_5_HIGH)
      & it(R_13_9_IT)
      & he(R_13_2_HE)
      & a_notice_board(R_13_14_A_NOTICE_BOARD)
      & so(R_13_1_SO)
      & and(R_13_11_AND)
      & conj1(R_13_11_AND,R_13_3_BUILT)
      & built(R_13_3_BUILT,R_13_2_HE,R_13_4_A_WALL)
      & a_wall(R_13_4_A_WALL)
      & attrib15(R_13_4_A_WALL,R_13_5_HIGH)
      & all_round(R_13_4_A_WALL,R_13_9_IT)
      & nim2(R_13_3_BUILT,R_13_1_SO)
      & conj2(R_13_11_AND,R_13_12_PUT_UP)
      & put_up(R_13_12_PUT_UP,R_13_2_HE,R_13_14_A_NOTICE_BOARD)
      & nim2(R_13_12_PUT_UP,R_13_1_SO) ) ).



n13_a_wilde_2_1888 n13_a_wilde_2_1888_4 So n13_a_wilde_2_1888_7 he n13_a_wilde_2_1888_11 built n13_a_wilde_2_1888_14 a n13_a_wilde_2_1888_17 high n13_a_wilde_2_1888_19 wall n13_a_wilde_2_1888_22 all n13_a_wilde_2_1888_24 round n13_a_wilde_2_1888_27 it n13_a_wilde_2_1888_29 , n13_a_wilde_2_1888_32 and n13_a_wilde_2_1888_35 put n13_a_wilde_2_1888_37 up n13_a_wilde_2_1888_40 a n13_a_wilde_2_1888_42 notice n13_a_wilde_2_1888_44 - n13_a_wilde_2_1888_46 board n13_a_wilde_2_1888_48 . n13_a_wilde_2_1888_1 IP-MAT n13_a_wilde_2_1888_2 ADVP-NIM n13_a_wilde_2_1888_1->n13_a_wilde_2_1888_2 n13_a_wilde_2_1888_5 NP-SBJ n13_a_wilde_2_1888_1->n13_a_wilde_2_1888_5 n13_a_wilde_2_1888_8 ILYR n13_a_wilde_2_1888_1->n13_a_wilde_2_1888_8 n13_a_wilde_2_1888_47 PUNC n13_a_wilde_2_1888_1->n13_a_wilde_2_1888_47 n13_a_wilde_2_1888_3 ADV n13_a_wilde_2_1888_2->n13_a_wilde_2_1888_3 n13_a_wilde_2_1888_3->n13_a_wilde_2_1888_4 n13_a_wilde_2_1888_6 PRO n13_a_wilde_2_1888_5->n13_a_wilde_2_1888_6 n13_a_wilde_2_1888_6->n13_a_wilde_2_1888_7 n13_a_wilde_2_1888_9 ILYR n13_a_wilde_2_1888_8->n13_a_wilde_2_1888_9 n13_a_wilde_2_1888_28 PUNC n13_a_wilde_2_1888_8->n13_a_wilde_2_1888_28 n13_a_wilde_2_1888_30 CONJP n13_a_wilde_2_1888_8->n13_a_wilde_2_1888_30 n13_a_wilde_2_1888_10 VBD;_Tn_ n13_a_wilde_2_1888_9->n13_a_wilde_2_1888_10 n13_a_wilde_2_1888_12 NP-OB1 n13_a_wilde_2_1888_9->n13_a_wilde_2_1888_12 n13_a_wilde_2_1888_10->n13_a_wilde_2_1888_11 n13_a_wilde_2_1888_13 D n13_a_wilde_2_1888_12->n13_a_wilde_2_1888_13 n13_a_wilde_2_1888_15 ADJP n13_a_wilde_2_1888_12->n13_a_wilde_2_1888_15 n13_a_wilde_2_1888_18 N n13_a_wilde_2_1888_12->n13_a_wilde_2_1888_18 n13_a_wilde_2_1888_20 PP n13_a_wilde_2_1888_12->n13_a_wilde_2_1888_20 n13_a_wilde_2_1888_13->n13_a_wilde_2_1888_14 n13_a_wilde_2_1888_16 ADJ n13_a_wilde_2_1888_15->n13_a_wilde_2_1888_16 n13_a_wilde_2_1888_16->n13_a_wilde_2_1888_17 n13_a_wilde_2_1888_18->n13_a_wilde_2_1888_19 n13_a_wilde_2_1888_21 ADV n13_a_wilde_2_1888_20->n13_a_wilde_2_1888_21 n13_a_wilde_2_1888_23 P-ROLE n13_a_wilde_2_1888_20->n13_a_wilde_2_1888_23 n13_a_wilde_2_1888_25 NP n13_a_wilde_2_1888_20->n13_a_wilde_2_1888_25 n13_a_wilde_2_1888_21->n13_a_wilde_2_1888_22 n13_a_wilde_2_1888_23->n13_a_wilde_2_1888_24 n13_a_wilde_2_1888_26 PRO n13_a_wilde_2_1888_25->n13_a_wilde_2_1888_26 n13_a_wilde_2_1888_26->n13_a_wilde_2_1888_27 n13_a_wilde_2_1888_28->n13_a_wilde_2_1888_29 n13_a_wilde_2_1888_31 CONJ n13_a_wilde_2_1888_30->n13_a_wilde_2_1888_31 n13_a_wilde_2_1888_33 ILYR n13_a_wilde_2_1888_30->n13_a_wilde_2_1888_33 n13_a_wilde_2_1888_31->n13_a_wilde_2_1888_32 n13_a_wilde_2_1888_34 VBD;_phr_Vn<=>p_ n13_a_wilde_2_1888_33->n13_a_wilde_2_1888_34 n13_a_wilde_2_1888_36 RP n13_a_wilde_2_1888_33->n13_a_wilde_2_1888_36 n13_a_wilde_2_1888_38 NP-OB1 n13_a_wilde_2_1888_33->n13_a_wilde_2_1888_38 n13_a_wilde_2_1888_34->n13_a_wilde_2_1888_35 n13_a_wilde_2_1888_36->n13_a_wilde_2_1888_37 n13_a_wilde_2_1888_39 D n13_a_wilde_2_1888_38->n13_a_wilde_2_1888_39 n13_a_wilde_2_1888_41 N n13_a_wilde_2_1888_38->n13_a_wilde_2_1888_41 n13_a_wilde_2_1888_43 PUNC n13_a_wilde_2_1888_38->n13_a_wilde_2_1888_43 n13_a_wilde_2_1888_45 N n13_a_wilde_2_1888_38->n13_a_wilde_2_1888_45 n13_a_wilde_2_1888_39->n13_a_wilde_2_1888_40 n13_a_wilde_2_1888_41->n13_a_wilde_2_1888_42 n13_a_wilde_2_1888_43->n13_a_wilde_2_1888_44 n13_a_wilde_2_1888_45->n13_a_wilde_2_1888_46 n13_a_wilde_2_1888_47->n13_a_wilde_2_1888_48
( (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 (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))