Context                Previous, Next                Top


14_a_alresford
Thus began perfection.

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))


%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] 
arc(r_0014_0002__began,r_0014_0001__Thus,nim).
arc(r_0014_0002__began,r_0014_0003__perfection,arg0).


%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] 
fof(formula,axiom,
    ? [R_0014_0001__THUS,R_0014_0003__PERFECTION,R_0014_0002__BEGAN] :
      ( r_0014_0001__Thus(R_0014_0001__THUS)
      & r_0014_0003__perfection(R_0014_0003__PERFECTION)
      & r_0014_0002__began(R_0014_0002__BEGAN)
      & has_arg0(R_0014_0002__BEGAN,R_0014_0003__PERFECTION)
      & has_nim(R_0014_0002__BEGAN,R_0014_0001__THUS) ) ).