Context                Previous, Next                Top


5_a_lob_g01
But, at last, Gaunt sailed.

%3 r_0005_0001__But_r_0005_0006__sailed But sailed r_0005_0003__at_last at last r_0005_0001__But_r_0005_0006__sailed->r_0005_0003__at_last [nim] r_0005_0005__Gaunt Gaunt r_0005_0001__But_r_0005_0006__sailed->r_0005_0005__Gaunt [arg0] 
arc(r_0005_0001__But_r_0005_0006__sailed, r_0005_0003__at_last, nim6).
arc(r_0005_0001__But_r_0005_0006__sailed, r_0005_0005__Gaunt, arg0).


%3 r_0005_0001__But_r_0005_0006__sailed But sailed r_0005_0003__at_last at last r_0005_0001__But_r_0005_0006__sailed->r_0005_0003__at_last [nim] r_0005_0005__Gaunt Gaunt r_0005_0001__But_r_0005_0006__sailed->r_0005_0005__Gaunt [arg0] 
fof(formula,axiom,
    ? [R_5_1_BUT_SAILED,R_5_5_GAUNT,R_5_3_AT_LAST] :
      ( gaunt(R_5_5_GAUNT)
      & at_last(R_5_3_AT_LAST)
      & but_sailed(R_5_1_BUT_SAILED,R_5_5_GAUNT)
      & nim6(R_5_1_BUT_SAILED,R_5_3_AT_LAST) ) ).


n5_a_lob_g01 n5_a_lob_g01_3 But n5_a_lob_g01_5 , n5_a_lob_g01_8 at_last n5_a_lob_g01_10 , n5_a_lob_g01_13 Gaunt n5_a_lob_g01_15 sailed n5_a_lob_g01_17 . n5_a_lob_g01_1 IP-MAT n5_a_lob_g01_2 CONJ;_cl_ n5_a_lob_g01_1->n5_a_lob_g01_2 n5_a_lob_g01_4 PUNC n5_a_lob_g01_1->n5_a_lob_g01_4 n5_a_lob_g01_6 ADVP-NIM n5_a_lob_g01_1->n5_a_lob_g01_6 n5_a_lob_g01_9 PUNC n5_a_lob_g01_1->n5_a_lob_g01_9 n5_a_lob_g01_11 NP-SBJ n5_a_lob_g01_1->n5_a_lob_g01_11 n5_a_lob_g01_14 VBD;_I_ n5_a_lob_g01_1->n5_a_lob_g01_14 n5_a_lob_g01_16 PUNC n5_a_lob_g01_1->n5_a_lob_g01_16 n5_a_lob_g01_2->n5_a_lob_g01_3 n5_a_lob_g01_4->n5_a_lob_g01_5 n5_a_lob_g01_7 ADV n5_a_lob_g01_6->n5_a_lob_g01_7 n5_a_lob_g01_7->n5_a_lob_g01_8 n5_a_lob_g01_9->n5_a_lob_g01_10 n5_a_lob_g01_12 NPR n5_a_lob_g01_11->n5_a_lob_g01_12 n5_a_lob_g01_12->n5_a_lob_g01_13 n5_a_lob_g01_14->n5_a_lob_g01_15 n5_a_lob_g01_16->n5_a_lob_g01_17 
( (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))