Context                Previous, Next                Top


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_0012__put_r_0013_0013__up put up 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] r_0013_0002__he he r_0013_0012__put_r_0013_0013__up->r_0013_0002__he [arg0] r_0013_0001__So So r_0013_0012__put_r_0013_0013__up->r_0013_0001__So [nim] r_0013_0011__and and r_0013_0011__and->r_0013_0012__put_r_0013_0013__up [conj2] r_0013_0003__built built r_0013_0011__and->r_0013_0003__built [conj1] r_0013_0003__built->r_0013_0002__he [arg0] r_0013_0003__built->r_0013_0001__So [nim] 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_0009__it it r_0013_0004__a_r_0013_0006__wall->r_0013_0009__it all round r_0013_0005__high high r_0013_0004__a_r_0013_0006__wall->r_0013_0005__high [attrib] 
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__1_1_1_1 So n13_a_wilde_2_1888__1_2_1_1 he n13_a_wilde_2_1888__1_3_1_1_1 built n13_a_wilde_2_1888__1_3_1_2_1_1 a n13_a_wilde_2_1888__1_3_1_2_2_1_1 high n13_a_wilde_2_1888__1_3_1_2_3_1 wall n13_a_wilde_2_1888__1_3_1_2_4_1_1 all n13_a_wilde_2_1888__1_3_1_2_4_2_1 round n13_a_wilde_2_1888__1_3_1_2_4_3_1_1 it n13_a_wilde_2_1888__1_3_2_1 , n13_a_wilde_2_1888__1_3_3_1_1 and n13_a_wilde_2_1888__1_3_3_2_1_1 put n13_a_wilde_2_1888__1_3_3_2_2_1 up n13_a_wilde_2_1888__1_3_3_2_3_1_1 a n13_a_wilde_2_1888__1_3_3_2_3_2_1 notice n13_a_wilde_2_1888__1_3_3_2_3_3_1 - n13_a_wilde_2_1888__1_3_3_2_3_4_1 board n13_a_wilde_2_1888__1_4_1 . n13_a_wilde_2_1888__1 IP-MAT n13_a_wilde_2_1888__1_1 ADVP-NIM n13_a_wilde_2_1888__1->n13_a_wilde_2_1888__1_1 n13_a_wilde_2_1888__1_2 NP-SBJ n13_a_wilde_2_1888__1->n13_a_wilde_2_1888__1_2 n13_a_wilde_2_1888__1_3 ILYR n13_a_wilde_2_1888__1->n13_a_wilde_2_1888__1_3 n13_a_wilde_2_1888__1_4 PUNC n13_a_wilde_2_1888__1->n13_a_wilde_2_1888__1_4 n13_a_wilde_2_1888__1_1_1 ADV n13_a_wilde_2_1888__1_1->n13_a_wilde_2_1888__1_1_1 n13_a_wilde_2_1888__1_1_1->n13_a_wilde_2_1888__1_1_1_1 n13_a_wilde_2_1888__1_2_1 PRO n13_a_wilde_2_1888__1_2->n13_a_wilde_2_1888__1_2_1 n13_a_wilde_2_1888__1_2_1->n13_a_wilde_2_1888__1_2_1_1 n13_a_wilde_2_1888__1_3_1 ILYR n13_a_wilde_2_1888__1_3->n13_a_wilde_2_1888__1_3_1 n13_a_wilde_2_1888__1_3_2 PUNC n13_a_wilde_2_1888__1_3->n13_a_wilde_2_1888__1_3_2 n13_a_wilde_2_1888__1_3_3 CONJP n13_a_wilde_2_1888__1_3->n13_a_wilde_2_1888__1_3_3 n13_a_wilde_2_1888__1_3_1_1 VBD;_Tn_ n13_a_wilde_2_1888__1_3_1->n13_a_wilde_2_1888__1_3_1_1 n13_a_wilde_2_1888__1_3_1_2 NP-OB1 n13_a_wilde_2_1888__1_3_1->n13_a_wilde_2_1888__1_3_1_2 n13_a_wilde_2_1888__1_3_1_1->n13_a_wilde_2_1888__1_3_1_1_1 n13_a_wilde_2_1888__1_3_1_2_1 D n13_a_wilde_2_1888__1_3_1_2->n13_a_wilde_2_1888__1_3_1_2_1 n13_a_wilde_2_1888__1_3_1_2_2 ADJP n13_a_wilde_2_1888__1_3_1_2->n13_a_wilde_2_1888__1_3_1_2_2 n13_a_wilde_2_1888__1_3_1_2_3 N n13_a_wilde_2_1888__1_3_1_2->n13_a_wilde_2_1888__1_3_1_2_3 n13_a_wilde_2_1888__1_3_1_2_4 PP n13_a_wilde_2_1888__1_3_1_2->n13_a_wilde_2_1888__1_3_1_2_4 n13_a_wilde_2_1888__1_3_1_2_1->n13_a_wilde_2_1888__1_3_1_2_1_1 n13_a_wilde_2_1888__1_3_1_2_2_1 ADJ n13_a_wilde_2_1888__1_3_1_2_2->n13_a_wilde_2_1888__1_3_1_2_2_1 n13_a_wilde_2_1888__1_3_1_2_2_1->n13_a_wilde_2_1888__1_3_1_2_2_1_1 n13_a_wilde_2_1888__1_3_1_2_3->n13_a_wilde_2_1888__1_3_1_2_3_1 n13_a_wilde_2_1888__1_3_1_2_4_1 ADV n13_a_wilde_2_1888__1_3_1_2_4->n13_a_wilde_2_1888__1_3_1_2_4_1 n13_a_wilde_2_1888__1_3_1_2_4_2 P-ROLE n13_a_wilde_2_1888__1_3_1_2_4->n13_a_wilde_2_1888__1_3_1_2_4_2 n13_a_wilde_2_1888__1_3_1_2_4_3 NP n13_a_wilde_2_1888__1_3_1_2_4->n13_a_wilde_2_1888__1_3_1_2_4_3 n13_a_wilde_2_1888__1_3_1_2_4_1->n13_a_wilde_2_1888__1_3_1_2_4_1_1 n13_a_wilde_2_1888__1_3_1_2_4_2->n13_a_wilde_2_1888__1_3_1_2_4_2_1 n13_a_wilde_2_1888__1_3_1_2_4_3_1 PRO n13_a_wilde_2_1888__1_3_1_2_4_3->n13_a_wilde_2_1888__1_3_1_2_4_3_1 n13_a_wilde_2_1888__1_3_1_2_4_3_1->n13_a_wilde_2_1888__1_3_1_2_4_3_1_1 n13_a_wilde_2_1888__1_3_2->n13_a_wilde_2_1888__1_3_2_1 n13_a_wilde_2_1888__1_3_3_1 CONJ n13_a_wilde_2_1888__1_3_3->n13_a_wilde_2_1888__1_3_3_1 n13_a_wilde_2_1888__1_3_3_2 ILYR n13_a_wilde_2_1888__1_3_3->n13_a_wilde_2_1888__1_3_3_2 n13_a_wilde_2_1888__1_3_3_1->n13_a_wilde_2_1888__1_3_3_1_1 n13_a_wilde_2_1888__1_3_3_2_1 VBD;_phr_Vn<=>p_ n13_a_wilde_2_1888__1_3_3_2->n13_a_wilde_2_1888__1_3_3_2_1 n13_a_wilde_2_1888__1_3_3_2_2 RP n13_a_wilde_2_1888__1_3_3_2->n13_a_wilde_2_1888__1_3_3_2_2 n13_a_wilde_2_1888__1_3_3_2_3 NP-OB1 n13_a_wilde_2_1888__1_3_3_2->n13_a_wilde_2_1888__1_3_3_2_3 n13_a_wilde_2_1888__1_3_3_2_1->n13_a_wilde_2_1888__1_3_3_2_1_1 n13_a_wilde_2_1888__1_3_3_2_2->n13_a_wilde_2_1888__1_3_3_2_2_1 n13_a_wilde_2_1888__1_3_3_2_3_1 D n13_a_wilde_2_1888__1_3_3_2_3->n13_a_wilde_2_1888__1_3_3_2_3_1 n13_a_wilde_2_1888__1_3_3_2_3_2 N n13_a_wilde_2_1888__1_3_3_2_3->n13_a_wilde_2_1888__1_3_3_2_3_2 n13_a_wilde_2_1888__1_3_3_2_3_3 PUNC n13_a_wilde_2_1888__1_3_3_2_3->n13_a_wilde_2_1888__1_3_3_2_3_3 n13_a_wilde_2_1888__1_3_3_2_3_4 N n13_a_wilde_2_1888__1_3_3_2_3->n13_a_wilde_2_1888__1_3_3_2_3_4 n13_a_wilde_2_1888__1_3_3_2_3_1->n13_a_wilde_2_1888__1_3_3_2_3_1_1 n13_a_wilde_2_1888__1_3_3_2_3_2->n13_a_wilde_2_1888__1_3_3_2_3_2_1 n13_a_wilde_2_1888__1_3_3_2_3_3->n13_a_wilde_2_1888__1_3_3_2_3_3_1 n13_a_wilde_2_1888__1_3_3_2_3_4->n13_a_wilde_2_1888__1_3_3_2_3_4_1 n13_a_wilde_2_1888__1_4->n13_a_wilde_2_1888__1_4_1 
( (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))