Context                Previous, Next                Top


46_a_joyce_1914
Education is all very fine and large....

%3 r_0046_0002__is is r_0046_0001__Education Education r_0046_0002__is->r_0046_0001__Education [arg0] r_0046_0003__all all r_0046_0002__is->r_0046_0003__all [nim] r_0046_0006__and and r_0046_0002__is->r_0046_0006__and [prd] r_0046_0004__very very r_0046_0006__and->r_0046_0004__very [qual] r_0046_0005__fine fine r_0046_0006__and->r_0046_0005__fine [conj1] r_0046_0007__large large r_0046_0006__and->r_0046_0007__large [conj2] 
arc(r_0046_0002__is, r_0046_0001__Education, arg0).
arc(r_0046_0002__is, r_0046_0003__all, nim7).
arc(r_0046_0002__is, r_0046_0006__and, prd).
arc(r_0046_0006__and, r_0046_0004__very, qual11).
arc(r_0046_0006__and, r_0046_0005__fine, conj1).
arc(r_0046_0006__and, r_0046_0007__large, conj2).


%3 r_0046_0006__and and r_0046_0007__large large r_0046_0006__and->r_0046_0007__large [conj2] r_0046_0005__fine fine r_0046_0006__and->r_0046_0005__fine [conj1] r_0046_0004__very very r_0046_0006__and->r_0046_0004__very [qual] r_0046_0002__is is r_0046_0002__is->r_0046_0006__and [prd] r_0046_0003__all all r_0046_0002__is->r_0046_0003__all [nim] r_0046_0001__Education Education r_0046_0002__is->r_0046_0001__Education [arg0] 
fof(formula,axiom,
    ? [R_46_2_IS,R_46_1_EDUCATION,R_46_3_ALL,R_46_6_AND,R_46_5_FINE,R_46_7_LARGE,R_46_4_VERY] :
      ( education(R_46_1_EDUCATION)
      & all(R_46_3_ALL)
      & fine(R_46_5_FINE)
      & large(R_46_7_LARGE)
      & very(R_46_4_VERY)
      & is(R_46_2_IS,R_46_1_EDUCATION,R_46_6_AND)
      & and(R_46_6_AND)
      & conj1(R_46_6_AND,R_46_5_FINE)
      & conj2(R_46_6_AND,R_46_7_LARGE)
      & qual11(R_46_6_AND,R_46_4_VERY)
      & nim7(R_46_2_IS,R_46_3_ALL) ) ).


n46_a_joyce_1914 n46_a_joyce_1914__1_1_1_1 Education n46_a_joyce_1914__1_2_1 is n46_a_joyce_1914__1_3_1_1 all n46_a_joyce_1914__1_4_1_1_1 very n46_a_joyce_1914__1_4_2_1_1_1 fine n46_a_joyce_1914__1_4_2_2_1_1 and n46_a_joyce_1914__1_4_2_2_2_1_1 large n46_a_joyce_1914__1_5_1 ... n46_a_joyce_1914__1_6_1 . n46_a_joyce_1914__1 IP-MAT n46_a_joyce_1914__1_1 NP-SBJ n46_a_joyce_1914__1->n46_a_joyce_1914__1_1 n46_a_joyce_1914__1_2 BEP;_La_ n46_a_joyce_1914__1->n46_a_joyce_1914__1_2 n46_a_joyce_1914__1_3 ADVP-NIM n46_a_joyce_1914__1->n46_a_joyce_1914__1_3 n46_a_joyce_1914__1_4 ADJP-PRD n46_a_joyce_1914__1->n46_a_joyce_1914__1_4 n46_a_joyce_1914__1_5 PUNC n46_a_joyce_1914__1->n46_a_joyce_1914__1_5 n46_a_joyce_1914__1_6 PUNC n46_a_joyce_1914__1->n46_a_joyce_1914__1_6 n46_a_joyce_1914__1_1_1 N n46_a_joyce_1914__1_1->n46_a_joyce_1914__1_1_1 n46_a_joyce_1914__1_1_1->n46_a_joyce_1914__1_1_1_1 n46_a_joyce_1914__1_2->n46_a_joyce_1914__1_2_1 n46_a_joyce_1914__1_3_1 ADV n46_a_joyce_1914__1_3->n46_a_joyce_1914__1_3_1 n46_a_joyce_1914__1_3_1->n46_a_joyce_1914__1_3_1_1 n46_a_joyce_1914__1_4_1 ADVP n46_a_joyce_1914__1_4->n46_a_joyce_1914__1_4_1 n46_a_joyce_1914__1_4_2 AJLYR n46_a_joyce_1914__1_4->n46_a_joyce_1914__1_4_2 n46_a_joyce_1914__1_4_1_1 ADV n46_a_joyce_1914__1_4_1->n46_a_joyce_1914__1_4_1_1 n46_a_joyce_1914__1_4_1_1->n46_a_joyce_1914__1_4_1_1_1 n46_a_joyce_1914__1_4_2_1 AJLYR n46_a_joyce_1914__1_4_2->n46_a_joyce_1914__1_4_2_1 n46_a_joyce_1914__1_4_2_2 CONJP n46_a_joyce_1914__1_4_2->n46_a_joyce_1914__1_4_2_2 n46_a_joyce_1914__1_4_2_1_1 ADJ n46_a_joyce_1914__1_4_2_1->n46_a_joyce_1914__1_4_2_1_1 n46_a_joyce_1914__1_4_2_1_1->n46_a_joyce_1914__1_4_2_1_1_1 n46_a_joyce_1914__1_4_2_2_1 CONJ n46_a_joyce_1914__1_4_2_2->n46_a_joyce_1914__1_4_2_2_1 n46_a_joyce_1914__1_4_2_2_2 AJLYR n46_a_joyce_1914__1_4_2_2->n46_a_joyce_1914__1_4_2_2_2 n46_a_joyce_1914__1_4_2_2_1->n46_a_joyce_1914__1_4_2_2_1_1 n46_a_joyce_1914__1_4_2_2_2_1 ADJ n46_a_joyce_1914__1_4_2_2_2->n46_a_joyce_1914__1_4_2_2_2_1 n46_a_joyce_1914__1_4_2_2_2_1->n46_a_joyce_1914__1_4_2_2_2_1_1 n46_a_joyce_1914__1_5->n46_a_joyce_1914__1_5_1 n46_a_joyce_1914__1_6->n46_a_joyce_1914__1_6_1 
( (IP-MAT (NP-SBJ (N Education;{education}))
          (BEP;_La_ is;{be})
          (ADVP-NIM (ADV all;{all}))
          (ADJP-PRD (ADVP (ADV very;{very}))
                    (AJLYR (AJLYR (ADJ fine;{fine}))
                           (CONJP (CONJ and;{and})
                                  (AJLYR (ADJ large;{large})))))
          (PUNC ...)
          (PUNC .))
  (ID 46_a_joyce_1914))