Context                Previous, Next                Top


57_a_stuck_japan
The man next to me completed a rather fine sketch of Tokyo tower.

%3 r_0057_0001__The_r_0057_0002__man The man r_0057_0003__next next r_0057_0001__The_r_0057_0002__man->r_0057_0003__next [attrib] r_0057_0005__me me r_0057_0003__next->r_0057_0005__me to r_0057_0006__completed completed r_0057_0006__completed->r_0057_0001__The_r_0057_0002__man [arg0] r_0057_0007__a_r_0057_0010__sketch a sketch r_0057_0006__completed->r_0057_0007__a_r_0057_0010__sketch [arg1] r_0057_0009__fine fine r_0057_0007__a_r_0057_0010__sketch->r_0057_0009__fine [attrib] r_0057_0012__Tokyo_r_0057_0013__tower Tokyo tower r_0057_0007__a_r_0057_0010__sketch->r_0057_0012__Tokyo_r_0057_0013__tower of r_0057_0008__rather rather r_0057_0009__fine->r_0057_0008__rather [qual] 
arc(r_0057_0001__The_r_0057_0002__man, r_0057_0003__next, attrib7).
arc(r_0057_0003__next, r_0057_0005__me, r_0057_0004__to).
arc(r_0057_0006__completed, r_0057_0001__The_r_0057_0002__man, arg0).
arc(r_0057_0006__completed, r_0057_0007__a_r_0057_0010__sketch, arg1).
arc(r_0057_0007__a_r_0057_0010__sketch, r_0057_0009__fine, attrib21).
arc(r_0057_0007__a_r_0057_0010__sketch, r_0057_0012__Tokyo_r_0057_0013__tower, r_0057_0011__of).
arc(r_0057_0009__fine, r_0057_0008__rather, qual22).


%3 r_0057_0009__fine fine r_0057_0008__rather rather r_0057_0009__fine->r_0057_0008__rather [qual] r_0057_0007__a_r_0057_0010__sketch a sketch r_0057_0007__a_r_0057_0010__sketch->r_0057_0009__fine [attrib] r_0057_0012__Tokyo_r_0057_0013__tower Tokyo tower r_0057_0007__a_r_0057_0010__sketch->r_0057_0012__Tokyo_r_0057_0013__tower of r_0057_0006__completed completed r_0057_0006__completed->r_0057_0007__a_r_0057_0010__sketch [arg1] r_0057_0001__The_r_0057_0002__man The man r_0057_0006__completed->r_0057_0001__The_r_0057_0002__man [arg0] r_0057_0003__next next r_0057_0001__The_r_0057_0002__man->r_0057_0003__next [attrib] r_0057_0005__me me r_0057_0003__next->r_0057_0005__me to 
fof(formula,axiom,
    ? [R_57_6_COMPLETED,R_57_1_THE_MAN,R_57_3_NEXT,R_57_5_ME,R_57_7_A_SKETCH,R_57_9_FINE,R_57_8_RATHER,R_57_12_TOKYO_TOWER] :
      ( me(R_57_5_ME)
      & rather(R_57_8_RATHER)
      & tokyo_tower(R_57_12_TOKYO_TOWER)
      & completed(R_57_6_COMPLETED,R_57_1_THE_MAN,R_57_7_A_SKETCH)
      & the_man(R_57_1_THE_MAN)
      & attrib7(R_57_1_THE_MAN,R_57_3_NEXT)
      & next(R_57_3_NEXT)
      & to(R_57_3_NEXT,R_57_5_ME)
      & a_sketch(R_57_7_A_SKETCH)
      & attrib21(R_57_7_A_SKETCH,R_57_9_FINE)
      & fine(R_57_9_FINE)
      & qual22(R_57_9_FINE,R_57_8_RATHER)
      & of(R_57_7_A_SKETCH,R_57_12_TOKYO_TOWER) ) ).


n57_a_stuck_japan n57_a_stuck_japan__1_1_1_1 The n57_a_stuck_japan__1_1_2_1 man n57_a_stuck_japan__1_1_3_1_1 next n57_a_stuck_japan__1_1_3_2_1_1 to n57_a_stuck_japan__1_1_3_2_2_1_1 me n57_a_stuck_japan__1_2_1 completed n57_a_stuck_japan__1_3_1_1 a n57_a_stuck_japan__1_3_2_1_1_1 rather n57_a_stuck_japan__1_3_2_2_1 fine n57_a_stuck_japan__1_3_3_1 sketch n57_a_stuck_japan__1_3_4_1_1 of n57_a_stuck_japan__1_3_4_2_1_1 Tokyo n57_a_stuck_japan__1_3_4_2_2_1 tower n57_a_stuck_japan__1_4_1 . n57_a_stuck_japan__1 IP-MAT n57_a_stuck_japan__1_1 NP-SBJ n57_a_stuck_japan__1->n57_a_stuck_japan__1_1 n57_a_stuck_japan__1_2 VBD;_Tn_ n57_a_stuck_japan__1->n57_a_stuck_japan__1_2 n57_a_stuck_japan__1_3 NP-OB1 n57_a_stuck_japan__1->n57_a_stuck_japan__1_3 n57_a_stuck_japan__1_4 PUNC n57_a_stuck_japan__1->n57_a_stuck_japan__1_4 n57_a_stuck_japan__1_1_1 D n57_a_stuck_japan__1_1->n57_a_stuck_japan__1_1_1 n57_a_stuck_japan__1_1_2 N n57_a_stuck_japan__1_1->n57_a_stuck_japan__1_1_2 n57_a_stuck_japan__1_1_3 ADJP n57_a_stuck_japan__1_1->n57_a_stuck_japan__1_1_3 n57_a_stuck_japan__1_1_1->n57_a_stuck_japan__1_1_1_1 n57_a_stuck_japan__1_1_2->n57_a_stuck_japan__1_1_2_1 n57_a_stuck_japan__1_1_3_1 ADJ n57_a_stuck_japan__1_1_3->n57_a_stuck_japan__1_1_3_1 n57_a_stuck_japan__1_1_3_2 PP n57_a_stuck_japan__1_1_3->n57_a_stuck_japan__1_1_3_2 n57_a_stuck_japan__1_1_3_1->n57_a_stuck_japan__1_1_3_1_1 n57_a_stuck_japan__1_1_3_2_1 P-ROLE n57_a_stuck_japan__1_1_3_2->n57_a_stuck_japan__1_1_3_2_1 n57_a_stuck_japan__1_1_3_2_2 NP n57_a_stuck_japan__1_1_3_2->n57_a_stuck_japan__1_1_3_2_2 n57_a_stuck_japan__1_1_3_2_1->n57_a_stuck_japan__1_1_3_2_1_1 n57_a_stuck_japan__1_1_3_2_2_1 PRO n57_a_stuck_japan__1_1_3_2_2->n57_a_stuck_japan__1_1_3_2_2_1 n57_a_stuck_japan__1_1_3_2_2_1->n57_a_stuck_japan__1_1_3_2_2_1_1 n57_a_stuck_japan__1_2->n57_a_stuck_japan__1_2_1 n57_a_stuck_japan__1_3_1 D n57_a_stuck_japan__1_3->n57_a_stuck_japan__1_3_1 n57_a_stuck_japan__1_3_2 ADJP n57_a_stuck_japan__1_3->n57_a_stuck_japan__1_3_2 n57_a_stuck_japan__1_3_3 N n57_a_stuck_japan__1_3->n57_a_stuck_japan__1_3_3 n57_a_stuck_japan__1_3_4 PP n57_a_stuck_japan__1_3->n57_a_stuck_japan__1_3_4 n57_a_stuck_japan__1_3_1->n57_a_stuck_japan__1_3_1_1 n57_a_stuck_japan__1_3_2_1 ADVP n57_a_stuck_japan__1_3_2->n57_a_stuck_japan__1_3_2_1 n57_a_stuck_japan__1_3_2_2 ADJ n57_a_stuck_japan__1_3_2->n57_a_stuck_japan__1_3_2_2 n57_a_stuck_japan__1_3_2_1_1 ADV n57_a_stuck_japan__1_3_2_1->n57_a_stuck_japan__1_3_2_1_1 n57_a_stuck_japan__1_3_2_1_1->n57_a_stuck_japan__1_3_2_1_1_1 n57_a_stuck_japan__1_3_2_2->n57_a_stuck_japan__1_3_2_2_1 n57_a_stuck_japan__1_3_3->n57_a_stuck_japan__1_3_3_1 n57_a_stuck_japan__1_3_4_1 P-ROLE n57_a_stuck_japan__1_3_4->n57_a_stuck_japan__1_3_4_1 n57_a_stuck_japan__1_3_4_2 NP n57_a_stuck_japan__1_3_4->n57_a_stuck_japan__1_3_4_2 n57_a_stuck_japan__1_3_4_1->n57_a_stuck_japan__1_3_4_1_1 n57_a_stuck_japan__1_3_4_2_1 NPR n57_a_stuck_japan__1_3_4_2->n57_a_stuck_japan__1_3_4_2_1 n57_a_stuck_japan__1_3_4_2_2 N n57_a_stuck_japan__1_3_4_2->n57_a_stuck_japan__1_3_4_2_2 n57_a_stuck_japan__1_3_4_2_1->n57_a_stuck_japan__1_3_4_2_1_1 n57_a_stuck_japan__1_3_4_2_2->n57_a_stuck_japan__1_3_4_2_2_1 n57_a_stuck_japan__1_4->n57_a_stuck_japan__1_4_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N man;{man})
                  (ADJP (ADJ next;{next})
                        (PP (P-ROLE to;{to})
                            (NP (PRO me;{I})))))
          (VBD;_Tn_ completed;{complete})
          (NP-OB1 (D a;{a})
                  (ADJP (ADVP (ADV rather;{rather}))
                        (ADJ fine;{fine}))
                  (N sketch;{sketch})
                  (PP (P-ROLE of;{of})
                      (NP (NPR Tokyo;{Tokyo})
                          (N tower;{tower}))))
          (PUNC .))
  (ID 57_a_stuck_japan))