Context                Previous, Next                Top


5_a_lob_g01
But, at last, Gaunt sailed.

n5_a_lob_g01 n5_a_lob_g01__1_1_1 But n5_a_lob_g01__1_2_1 , n5_a_lob_g01__1_3_1_1 at_last n5_a_lob_g01__1_4_1 , n5_a_lob_g01__1_5_1_1 Gaunt n5_a_lob_g01__1_6_1 sailed n5_a_lob_g01__1_7_1 . n5_a_lob_g01__1 IP-MAT n5_a_lob_g01__1_1 CONJ;_cl_ n5_a_lob_g01__1->n5_a_lob_g01__1_1 n5_a_lob_g01__1_2 PUNC n5_a_lob_g01__1->n5_a_lob_g01__1_2 n5_a_lob_g01__1_3 ADVP-NIM n5_a_lob_g01__1->n5_a_lob_g01__1_3 n5_a_lob_g01__1_4 PUNC n5_a_lob_g01__1->n5_a_lob_g01__1_4 n5_a_lob_g01__1_5 NP-SBJ n5_a_lob_g01__1->n5_a_lob_g01__1_5 n5_a_lob_g01__1_6 VBD;_I_ n5_a_lob_g01__1->n5_a_lob_g01__1_6 n5_a_lob_g01__1_7 PUNC n5_a_lob_g01__1->n5_a_lob_g01__1_7 n5_a_lob_g01__1_1->n5_a_lob_g01__1_1_1 n5_a_lob_g01__1_2->n5_a_lob_g01__1_2_1 n5_a_lob_g01__1_3_1 ADV n5_a_lob_g01__1_3->n5_a_lob_g01__1_3_1 n5_a_lob_g01__1_3_1->n5_a_lob_g01__1_3_1_1 n5_a_lob_g01__1_4->n5_a_lob_g01__1_4_1 n5_a_lob_g01__1_5_1 NPR n5_a_lob_g01__1_5->n5_a_lob_g01__1_5_1 n5_a_lob_g01__1_5_1->n5_a_lob_g01__1_5_1_1 n5_a_lob_g01__1_6->n5_a_lob_g01__1_6_1 n5_a_lob_g01__1_7->n5_a_lob_g01__1_7_1 
( (IP-MAT (CONJ;_cl_ But;{but})
          (PUNC ,)
          (ADVP-NIM (ADV at_last;{at_last}))
          (PUNC ,)
          (NP-SBJ;{GAUNT} (NPR Gaunt;{Gaunt}))
          (VBD;_I_ sailed;{sail})
          (PUNC .))
  (ID 5_a_lob_g01))


%3 r_0005_0006__sailed sailed r_0005_0005__Gaunt Gaunt r_0005_0006__sailed->r_0005_0005__Gaunt [arg0] r_0005_0003__at_last at_last r_0005_0006__sailed->r_0005_0003__at_last [nim] 
arc(r_0005_0006__sailed,r_0005_0003__at_last,nim).
arc(r_0005_0006__sailed,r_0005_0005__Gaunt,arg0).


%3 r_0005_0006__sailed sailed r_0005_0003__at_last at_last r_0005_0006__sailed->r_0005_0003__at_last [nim] r_0005_0005__Gaunt Gaunt r_0005_0006__sailed->r_0005_0005__Gaunt [arg0] 
fof(formula,axiom,
    ? [R_0005_0003__AT_LAST,R_0005_0005__GAUNT,R_0005_0006__SAILED] :
      ( r_0005_0003__at_last(R_0005_0003__AT_LAST)
      & r_0005_0005__Gaunt(R_0005_0005__GAUNT)
      & r_0005_0006__sailed(R_0005_0006__SAILED)
      & has_arg0(R_0005_0006__SAILED,R_0005_0005__GAUNT)
      & has_nim(R_0005_0006__SAILED,R_0005_0003__AT_LAST) ) ).