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_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] 
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_4 Education n46_a_joyce_1914_6 is n46_a_joyce_1914_9 all n46_a_joyce_1914_13 very n46_a_joyce_1914_17 fine n46_a_joyce_1914_20 and n46_a_joyce_1914_23 large n46_a_joyce_1914_25 ... n46_a_joyce_1914_27 . n46_a_joyce_1914_1 IP-MAT n46_a_joyce_1914_2 NP-SBJ n46_a_joyce_1914_1->n46_a_joyce_1914_2 n46_a_joyce_1914_5 BEP;_La_ n46_a_joyce_1914_1->n46_a_joyce_1914_5 n46_a_joyce_1914_7 ADVP-NIM n46_a_joyce_1914_1->n46_a_joyce_1914_7 n46_a_joyce_1914_10 ADJP-PRD n46_a_joyce_1914_1->n46_a_joyce_1914_10 n46_a_joyce_1914_24 PUNC n46_a_joyce_1914_1->n46_a_joyce_1914_24 n46_a_joyce_1914_26 PUNC n46_a_joyce_1914_1->n46_a_joyce_1914_26 n46_a_joyce_1914_3 N n46_a_joyce_1914_2->n46_a_joyce_1914_3 n46_a_joyce_1914_3->n46_a_joyce_1914_4 n46_a_joyce_1914_5->n46_a_joyce_1914_6 n46_a_joyce_1914_8 ADV n46_a_joyce_1914_7->n46_a_joyce_1914_8 n46_a_joyce_1914_8->n46_a_joyce_1914_9 n46_a_joyce_1914_11 ADVP n46_a_joyce_1914_10->n46_a_joyce_1914_11 n46_a_joyce_1914_14 AJLYR n46_a_joyce_1914_10->n46_a_joyce_1914_14 n46_a_joyce_1914_12 ADV n46_a_joyce_1914_11->n46_a_joyce_1914_12 n46_a_joyce_1914_12->n46_a_joyce_1914_13 n46_a_joyce_1914_15 AJLYR n46_a_joyce_1914_14->n46_a_joyce_1914_15 n46_a_joyce_1914_18 CONJP n46_a_joyce_1914_14->n46_a_joyce_1914_18 n46_a_joyce_1914_16 ADJ n46_a_joyce_1914_15->n46_a_joyce_1914_16 n46_a_joyce_1914_16->n46_a_joyce_1914_17 n46_a_joyce_1914_19 CONJ n46_a_joyce_1914_18->n46_a_joyce_1914_19 n46_a_joyce_1914_21 AJLYR n46_a_joyce_1914_18->n46_a_joyce_1914_21 n46_a_joyce_1914_19->n46_a_joyce_1914_20 n46_a_joyce_1914_22 ADJ n46_a_joyce_1914_21->n46_a_joyce_1914_22 n46_a_joyce_1914_22->n46_a_joyce_1914_23 n46_a_joyce_1914_24->n46_a_joyce_1914_25 n46_a_joyce_1914_26->n46_a_joyce_1914_27 
( (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))