Context                Previous, Next                Top


14_a_alresford
Thus began perfection.

%3 r_0014_0002__began began r_0014_0001__Thus Thus r_0014_0002__began->r_0014_0001__Thus [nim] r_0014_0003__perfection perfection r_0014_0002__began->r_0014_0003__perfection [arg0] 
arc(r_0014_0002__began, r_0014_0001__Thus, nim2).
arc(r_0014_0002__began, r_0014_0003__perfection, arg0).


%3 r_0014_0002__began began r_0014_0003__perfection perfection r_0014_0002__began->r_0014_0003__perfection [arg0] r_0014_0001__Thus Thus r_0014_0002__began->r_0014_0001__Thus [nim] 
fof(formula,axiom,
    ? [R_14_2_BEGAN,R_14_3_PERFECTION,R_14_1_THUS] :
      ( perfection(R_14_3_PERFECTION)
      & thus(R_14_1_THUS)
      & began(R_14_2_BEGAN,R_14_3_PERFECTION)
      & nim2(R_14_2_BEGAN,R_14_1_THUS) ) ).


n14_a_alresford n14_a_alresford__1_1_1_1 Thus n14_a_alresford__1_2_1 began n14_a_alresford__1_3_1_1 perfection n14_a_alresford__1_4_1 . n14_a_alresford__1 IP-MAT n14_a_alresford__1_1 ADVP-NIM n14_a_alresford__1->n14_a_alresford__1_1 n14_a_alresford__1_2 VBD;_I_ n14_a_alresford__1->n14_a_alresford__1_2 n14_a_alresford__1_3 NP-SBJ n14_a_alresford__1->n14_a_alresford__1_3 n14_a_alresford__1_4 PUNC n14_a_alresford__1->n14_a_alresford__1_4 n14_a_alresford__1_1_1 ADV n14_a_alresford__1_1->n14_a_alresford__1_1_1 n14_a_alresford__1_1_1->n14_a_alresford__1_1_1_1 n14_a_alresford__1_2->n14_a_alresford__1_2_1 n14_a_alresford__1_3_1 N n14_a_alresford__1_3->n14_a_alresford__1_3_1 n14_a_alresford__1_3_1->n14_a_alresford__1_3_1_1 n14_a_alresford__1_4->n14_a_alresford__1_4_1 
( (IP-MAT (ADVP-NIM (ADV Thus;{thus}))
          (VBD;_I_ began;{begin})
          (NP-SBJ (N perfection;{perfection}))
          (PUNC .))
  (ID 14_a_alresford))