Context                Previous, Next                Top


37_a_wilde_1_1888
Then he saw the statue on the tall column.

%3 r_0037_0003__saw saw r_0037_0001__Then Then r_0037_0003__saw->r_0037_0001__Then [nim] r_0037_0002__he he r_0037_0003__saw->r_0037_0002__he [arg0] r_0037_0004__the_r_0037_0005__statue the statue r_0037_0003__saw->r_0037_0004__the_r_0037_0005__statue [arg1] r_0037_0007__the_r_0037_0009__column the column r_0037_0004__the_r_0037_0005__statue->r_0037_0007__the_r_0037_0009__column on r_0037_0008__tall tall r_0037_0007__the_r_0037_0009__column->r_0037_0008__tall [attrib] 
arc(r_0037_0003__saw, r_0037_0001__Then, nim2).
arc(r_0037_0003__saw, r_0037_0002__he, arg0).
arc(r_0037_0003__saw, r_0037_0004__the_r_0037_0005__statue, arg1).
arc(r_0037_0004__the_r_0037_0005__statue, r_0037_0007__the_r_0037_0009__column, r_0037_0006__on).
arc(r_0037_0007__the_r_0037_0009__column, r_0037_0008__tall, attrib21).


%3 r_0037_0007__the_r_0037_0009__column the column r_0037_0008__tall tall r_0037_0007__the_r_0037_0009__column->r_0037_0008__tall [attrib] r_0037_0004__the_r_0037_0005__statue the statue r_0037_0004__the_r_0037_0005__statue->r_0037_0007__the_r_0037_0009__column on r_0037_0003__saw saw r_0037_0003__saw->r_0037_0004__the_r_0037_0005__statue [arg1] r_0037_0002__he he r_0037_0003__saw->r_0037_0002__he [arg0] r_0037_0001__Then Then r_0037_0003__saw->r_0037_0001__Then [nim] 
fof(formula,axiom,
    ? [R_37_3_SAW,R_37_2_HE,R_37_4_THE_STATUE,R_37_7_THE_COLUMN,R_37_8_TALL,R_37_1_THEN] :
      ( he(R_37_2_HE)
      & tall(R_37_8_TALL)
      & then(R_37_1_THEN)
      & saw(R_37_3_SAW,R_37_2_HE,R_37_4_THE_STATUE)
      & the_statue(R_37_4_THE_STATUE)
      & on(R_37_4_THE_STATUE,R_37_7_THE_COLUMN)
      & the_column(R_37_7_THE_COLUMN)
      & attrib21(R_37_7_THE_COLUMN,R_37_8_TALL)
      & nim2(R_37_3_SAW,R_37_1_THEN) ) ).


n37_a_wilde_1_1888 n37_a_wilde_1_1888__1_1_1_1 Then n37_a_wilde_1_1888__1_2_1_1 he n37_a_wilde_1_1888__1_3_1 saw n37_a_wilde_1_1888__1_4_1_1 the n37_a_wilde_1_1888__1_4_2_1 statue n37_a_wilde_1_1888__1_4_3_1_1 on n37_a_wilde_1_1888__1_4_3_2_1_1 the n37_a_wilde_1_1888__1_4_3_2_2_1_1 tall n37_a_wilde_1_1888__1_4_3_2_3_1 column n37_a_wilde_1_1888__1_5_1 . n37_a_wilde_1_1888__1 IP-MAT n37_a_wilde_1_1888__1_1 ADVP-NIM n37_a_wilde_1_1888__1->n37_a_wilde_1_1888__1_1 n37_a_wilde_1_1888__1_2 NP-SBJ n37_a_wilde_1_1888__1->n37_a_wilde_1_1888__1_2 n37_a_wilde_1_1888__1_3 VBD;_Tn_ n37_a_wilde_1_1888__1->n37_a_wilde_1_1888__1_3 n37_a_wilde_1_1888__1_4 NP-OB1 n37_a_wilde_1_1888__1->n37_a_wilde_1_1888__1_4 n37_a_wilde_1_1888__1_5 PUNC n37_a_wilde_1_1888__1->n37_a_wilde_1_1888__1_5 n37_a_wilde_1_1888__1_1_1 ADV n37_a_wilde_1_1888__1_1->n37_a_wilde_1_1888__1_1_1 n37_a_wilde_1_1888__1_1_1->n37_a_wilde_1_1888__1_1_1_1 n37_a_wilde_1_1888__1_2_1 PRO n37_a_wilde_1_1888__1_2->n37_a_wilde_1_1888__1_2_1 n37_a_wilde_1_1888__1_2_1->n37_a_wilde_1_1888__1_2_1_1 n37_a_wilde_1_1888__1_3->n37_a_wilde_1_1888__1_3_1 n37_a_wilde_1_1888__1_4_1 D n37_a_wilde_1_1888__1_4->n37_a_wilde_1_1888__1_4_1 n37_a_wilde_1_1888__1_4_2 N n37_a_wilde_1_1888__1_4->n37_a_wilde_1_1888__1_4_2 n37_a_wilde_1_1888__1_4_3 PP n37_a_wilde_1_1888__1_4->n37_a_wilde_1_1888__1_4_3 n37_a_wilde_1_1888__1_4_1->n37_a_wilde_1_1888__1_4_1_1 n37_a_wilde_1_1888__1_4_2->n37_a_wilde_1_1888__1_4_2_1 n37_a_wilde_1_1888__1_4_3_1 P-ROLE n37_a_wilde_1_1888__1_4_3->n37_a_wilde_1_1888__1_4_3_1 n37_a_wilde_1_1888__1_4_3_2 NP n37_a_wilde_1_1888__1_4_3->n37_a_wilde_1_1888__1_4_3_2 n37_a_wilde_1_1888__1_4_3_1->n37_a_wilde_1_1888__1_4_3_1_1 n37_a_wilde_1_1888__1_4_3_2_1 D n37_a_wilde_1_1888__1_4_3_2->n37_a_wilde_1_1888__1_4_3_2_1 n37_a_wilde_1_1888__1_4_3_2_2 ADJP n37_a_wilde_1_1888__1_4_3_2->n37_a_wilde_1_1888__1_4_3_2_2 n37_a_wilde_1_1888__1_4_3_2_3 N n37_a_wilde_1_1888__1_4_3_2->n37_a_wilde_1_1888__1_4_3_2_3 n37_a_wilde_1_1888__1_4_3_2_1->n37_a_wilde_1_1888__1_4_3_2_1_1 n37_a_wilde_1_1888__1_4_3_2_2_1 ADJ n37_a_wilde_1_1888__1_4_3_2_2->n37_a_wilde_1_1888__1_4_3_2_2_1 n37_a_wilde_1_1888__1_4_3_2_2_1->n37_a_wilde_1_1888__1_4_3_2_2_1_1 n37_a_wilde_1_1888__1_4_3_2_3->n37_a_wilde_1_1888__1_4_3_2_3_1 n37_a_wilde_1_1888__1_5->n37_a_wilde_1_1888__1_5_1 
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ;{SWALLOW} (PRO he;{he}))
          (VBD;_Tn_ saw;{see})
          (NP-OB1;{STATUE} (D the;{the})
                           (N statue;{statue})
                           (PP (P-ROLE on;{on})
                               (NP (D the;{the})
                                   (ADJP (ADJ tall;{tall}))
                                   (N column;{column}))))
          (PUNC .))
  (ID 37_a_wilde_1_1888))