Context                Previous, Next                Top


16_a_alresford
But Alresford was more than that, much more.

%3 r_0016_0001__But_r_0016_0003__was But was r_0016_0002__Alresford Alresford r_0016_0001__But_r_0016_0003__was->r_0016_0002__Alresford [arg0] r_0016_0004__more more r_0016_0001__But_r_0016_0003__was->r_0016_0004__more [prd] r_0016_0006__that that r_0016_0004__more->r_0016_0006__that than 
arc(r_0016_0001__But_r_0016_0003__was, r_0016_0002__Alresford, arg0).
arc(r_0016_0001__But_r_0016_0003__was, r_0016_0004__more, prd).
arc(r_0016_0004__more, r_0016_0006__that, r_0016_0005__than).


%3 r_0016_0004__more more r_0016_0006__that that r_0016_0004__more->r_0016_0006__that than r_0016_0001__But_r_0016_0003__was But was r_0016_0001__But_r_0016_0003__was->r_0016_0004__more [prd] r_0016_0002__Alresford Alresford r_0016_0001__But_r_0016_0003__was->r_0016_0002__Alresford [arg0] 
fof(formula,axiom,
    ? [R_16_1_BUT_WAS,R_16_2_ALRESFORD,R_16_4_MORE,R_16_6_THAT] :
      ( alresford(R_16_2_ALRESFORD)
      & that(R_16_6_THAT)
      & but_was(R_16_1_BUT_WAS,R_16_2_ALRESFORD,R_16_4_MORE)
      & more(R_16_4_MORE)
      & than(R_16_4_MORE,R_16_6_THAT) ) ).


n16_a_alresford n16_a_alresford__1_1_1 But n16_a_alresford__1_2_1_1 Alresford n16_a_alresford__1_3_1 was n16_a_alresford__1_4_1_1 more n16_a_alresford__1_4_2_1_1 than n16_a_alresford__1_4_2_2_1_1 that n16_a_alresford__1_5_1 , n16_a_alresford__1_6_1_1_1_1 much n16_a_alresford__1_6_1_2_1 more n16_a_alresford__1_7_1 . n16_a_alresford__1 IP-MAT n16_a_alresford__1_1 CONJ;_cl_ n16_a_alresford__1->n16_a_alresford__1_1 n16_a_alresford__1_2 NP-SBJ n16_a_alresford__1->n16_a_alresford__1_2 n16_a_alresford__1_3 BED;_La_ n16_a_alresford__1->n16_a_alresford__1_3 n16_a_alresford__1_4 ADJP-PRD n16_a_alresford__1->n16_a_alresford__1_4 n16_a_alresford__1_5 PUNC n16_a_alresford__1->n16_a_alresford__1_5 n16_a_alresford__1_6 REP n16_a_alresford__1->n16_a_alresford__1_6 n16_a_alresford__1_7 PUNC n16_a_alresford__1->n16_a_alresford__1_7 n16_a_alresford__1_1->n16_a_alresford__1_1_1 n16_a_alresford__1_2_1 NPR n16_a_alresford__1_2->n16_a_alresford__1_2_1 n16_a_alresford__1_2_1->n16_a_alresford__1_2_1_1 n16_a_alresford__1_3->n16_a_alresford__1_3_1 n16_a_alresford__1_4_1 ADJR n16_a_alresford__1_4->n16_a_alresford__1_4_1 n16_a_alresford__1_4_2 PP n16_a_alresford__1_4->n16_a_alresford__1_4_2 n16_a_alresford__1_4_1->n16_a_alresford__1_4_1_1 n16_a_alresford__1_4_2_1 P-ROLE n16_a_alresford__1_4_2->n16_a_alresford__1_4_2_1 n16_a_alresford__1_4_2_2 NP n16_a_alresford__1_4_2->n16_a_alresford__1_4_2_2 n16_a_alresford__1_4_2_1->n16_a_alresford__1_4_2_1_1 n16_a_alresford__1_4_2_2_1 D;_nphd_ n16_a_alresford__1_4_2_2->n16_a_alresford__1_4_2_2_1 n16_a_alresford__1_4_2_2_1->n16_a_alresford__1_4_2_2_1_1 n16_a_alresford__1_5->n16_a_alresford__1_5_1 n16_a_alresford__1_6_1 ADJP-PRD n16_a_alresford__1_6->n16_a_alresford__1_6_1 n16_a_alresford__1_6_1_1 ADVP n16_a_alresford__1_6_1->n16_a_alresford__1_6_1_1 n16_a_alresford__1_6_1_2 ADJR n16_a_alresford__1_6_1->n16_a_alresford__1_6_1_2 n16_a_alresford__1_6_1_1_1 ADV n16_a_alresford__1_6_1_1->n16_a_alresford__1_6_1_1_1 n16_a_alresford__1_6_1_1_1->n16_a_alresford__1_6_1_1_1_1 n16_a_alresford__1_6_1_2->n16_a_alresford__1_6_1_2_1 n16_a_alresford__1_7->n16_a_alresford__1_7_1 
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ;{ALRESFORD} (NPR Alresford;{Alresford}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJR more;{more})
                    (PP (P-ROLE than;{than})
                        (NP (D;_nphd_ that;{that}))))
          (PUNC ,)
          (REP (ADJP-PRD (ADVP (ADV much;{much}))
                         (ADJR more;{more})))
          (PUNC .))
  (ID 16_a_alresford))