Context                Previous, Next                Top


229_a_wilde_1_1888
and they went up to look at it.

%3 r_0229_0001__and_r_0229_0003__went_r_0229_0004__up and went up r_0229_0002__they they r_0229_0001__and_r_0229_0003__went_r_0229_0004__up->r_0229_0002__they [arg0] r_0229_0005__to_r_0229_0006__look to look r_0229_0005__to_r_0229_0006__look->r_0229_0002__they [arg0] r_0229_0008__it it r_0229_0005__to_r_0229_0006__look->r_0229_0008__it at [clr] z_000_229_a_wilde_1_1888_11 z_000_229_a_wilde_1_1888_11->r_0229_0001__and_r_0229_0003__went_r_0229_0004__up [scope] z_000_229_a_wilde_1_1888_11->r_0229_0005__to_r_0229_0006__look [restriction] 
arc(r_0229_0001__and_r_0229_0003__went_r_0229_0004__up, r_0229_0002__they, arg0).
arc(r_0229_0005__to_r_0229_0006__look, r_0229_0002__they, arg0).
arc(r_0229_0005__to_r_0229_0006__look, r_0229_0008__it, r_0229_0007__at_clr20).
arc(z_000_229_a_wilde_1_1888_11, r_0229_0001__and_r_0229_0003__went_r_0229_0004__up, scope).
arc(z_000_229_a_wilde_1_1888_11, r_0229_0005__to_r_0229_0006__look, restriction).


%3 z_000_229_a_wilde_1_1888_11 r_0229_0005__to_r_0229_0006__look to look z_000_229_a_wilde_1_1888_11->r_0229_0005__to_r_0229_0006__look [conj1] r_0229_0001__and_r_0229_0003__went_r_0229_0004__up and went up z_000_229_a_wilde_1_1888_11->r_0229_0001__and_r_0229_0003__went_r_0229_0004__up [conj2] r_0229_0008__it it r_0229_0005__to_r_0229_0006__look->r_0229_0008__it at [clr] r_0229_0002__they they r_0229_0005__to_r_0229_0006__look->r_0229_0002__they [arg0] r_0229_0001__and_r_0229_0003__went_r_0229_0004__up->r_0229_0002__they [arg0] 
fof(formula,axiom,
    ? [R_0229_0002__THEY,R_0229_0001__AND_R_0229_0003__WENT_R_0229_0004__UP,R_0229_0008__IT,R_0229_0005__TO_R_0229_0006__LOOK,Z_000_229_A_WILDE_1_1888_11] :
      ( r_0229_0002__they(R_0229_0002__THEY)
      & r_0229_0008__it(R_0229_0008__IT)
      & z_000_229_a_wilde_1_1888_11(Z_000_229_A_WILDE_1_1888_11)
      & has_conj1(Z_000_229_A_WILDE_1_1888_11,R_0229_0005__TO_R_0229_0006__LOOK)
      & r_0229_0005__to_r_0229_0006__look(R_0229_0005__TO_R_0229_0006__LOOK)
      & has_r_0229_0007__at_clr20(R_0229_0005__TO_R_0229_0006__LOOK,R_0229_0008__IT)
      & has_arg0(R_0229_0005__TO_R_0229_0006__LOOK,R_0229_0002__THEY)
      & has_conj2(Z_000_229_A_WILDE_1_1888_11,R_0229_0001__AND_R_0229_0003__WENT_R_0229_0004__UP)
      & r_0229_0001__and_r_0229_0003__went_r_0229_0004__up(R_0229_0001__AND_R_0229_0003__WENT_R_0229_0004__UP)
      & has_arg0(R_0229_0001__AND_R_0229_0003__WENT_R_0229_0004__UP,R_0229_0002__THEY) ) ).


n229_a_wilde_1_1888 n229_a_wilde_1_1888__1_1_1 and n229_a_wilde_1_1888__1_2_1_1 they n229_a_wilde_1_1888__1_3_1 went n229_a_wilde_1_1888__1_4_1 up n229_a_wilde_1_1888__1_5_1_1_1 to n229_a_wilde_1_1888__1_5_1_2_1 look n229_a_wilde_1_1888__1_5_1_3_1_1 at n229_a_wilde_1_1888__1_5_1_3_2_1_1 it n229_a_wilde_1_1888__1_6_1 . n229_a_wilde_1_1888__1 IP-MAT n229_a_wilde_1_1888__1_1 CONJ;_cl_ n229_a_wilde_1_1888__1->n229_a_wilde_1_1888__1_1 n229_a_wilde_1_1888__1_2 NP-SBJ n229_a_wilde_1_1888__1->n229_a_wilde_1_1888__1_2 n229_a_wilde_1_1888__1_3 VBD;_phr_Vp_ n229_a_wilde_1_1888__1->n229_a_wilde_1_1888__1_3 n229_a_wilde_1_1888__1_4 RP n229_a_wilde_1_1888__1->n229_a_wilde_1_1888__1_4 n229_a_wilde_1_1888__1_5 PP-SCON n229_a_wilde_1_1888__1->n229_a_wilde_1_1888__1_5 n229_a_wilde_1_1888__1_6 PUNC n229_a_wilde_1_1888__1->n229_a_wilde_1_1888__1_6 n229_a_wilde_1_1888__1_1->n229_a_wilde_1_1888__1_1_1 n229_a_wilde_1_1888__1_2_1 PRO n229_a_wilde_1_1888__1_2->n229_a_wilde_1_1888__1_2_1 n229_a_wilde_1_1888__1_2_1->n229_a_wilde_1_1888__1_2_1_1 n229_a_wilde_1_1888__1_3->n229_a_wilde_1_1888__1_3_1 n229_a_wilde_1_1888__1_4->n229_a_wilde_1_1888__1_4_1 n229_a_wilde_1_1888__1_5_1 IP-INF n229_a_wilde_1_1888__1_5->n229_a_wilde_1_1888__1_5_1 n229_a_wilde_1_1888__1_5_1_1 TO n229_a_wilde_1_1888__1_5_1->n229_a_wilde_1_1888__1_5_1_1 n229_a_wilde_1_1888__1_5_1_2 VB;__ n229_a_wilde_1_1888__1_5_1->n229_a_wilde_1_1888__1_5_1_2 n229_a_wilde_1_1888__1_5_1_3 PP-CLR n229_a_wilde_1_1888__1_5_1->n229_a_wilde_1_1888__1_5_1_3 n229_a_wilde_1_1888__1_5_1_1->n229_a_wilde_1_1888__1_5_1_1_1 n229_a_wilde_1_1888__1_5_1_2->n229_a_wilde_1_1888__1_5_1_2_1 n229_a_wilde_1_1888__1_5_1_3_1 P-ROLE n229_a_wilde_1_1888__1_5_1_3->n229_a_wilde_1_1888__1_5_1_3_1 n229_a_wilde_1_1888__1_5_1_3_2 NP n229_a_wilde_1_1888__1_5_1_3->n229_a_wilde_1_1888__1_5_1_3_2 n229_a_wilde_1_1888__1_5_1_3_1->n229_a_wilde_1_1888__1_5_1_3_1_1 n229_a_wilde_1_1888__1_5_1_3_2_1 PRO n229_a_wilde_1_1888__1_5_1_3_2->n229_a_wilde_1_1888__1_5_1_3_2_1 n229_a_wilde_1_1888__1_5_1_3_2_1->n229_a_wilde_1_1888__1_5_1_3_2_1_1 n229_a_wilde_1_1888__1_6->n229_a_wilde_1_1888__1_6_1 
( (IP-MAT (CONJ;_cl_ and;{and})
          (NP-SBJ;{MAYOR_COUNCILLORS} (PRO they;{they}))
          (VBD;_phr_Vp_ went;{go[up]})
          (RP up;{up})
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;__ look;{look})
                           (PP-CLR (P-ROLE at;{at})
                                   (NP;{PRINCE} (PRO it;{it})))))
          (PUNC .))
  (ID 229_a_wilde_1_1888))