Context                Previous, Next                Top


48_a_lob_g01
‘Quod omnes tangit ab omnibus approbetur’ was an accepted legal maxim, but it was not yet carried to its logical conclusion — the people were still to be taxed by the Commons.

%3 r_0048_0009__was was r_0048_0002__Quod_r_0048_0003__omnes_r_0048_0004__tangit_r_0048_0005__ab_r_0048_0006__omnibus_r_0048_0007__approbetur Quod omnes tangit ab omnibus approbetur r_0048_0009__was->r_0048_0002__Quod_r_0048_0003__omnes_r_0048_0004__tangit_r_0048_0005__ab_r_0048_0006__omnibus_r_0048_0007__approbetur [arg0] r_0048_0010__an_r_0048_0013__maxim an maxim r_0048_0009__was->r_0048_0010__an_r_0048_0013__maxim [prd] r_0048_0011__accepted accepted r_0048_0010__an_r_0048_0013__maxim->r_0048_0011__accepted [attrib] r_0048_0012__legal legal r_0048_0010__an_r_0048_0013__maxim->r_0048_0012__legal [attrib] r_0048_0015__but but r_0048_0015__but->r_0048_0009__was [conj1] r_0048_0017__was was r_0048_0015__but->r_0048_0017__was [conj2] r_0048_0020__carried carried r_0048_0017__was->r_0048_0020__carried [scope] r_0048_0020__carried->r_0048_0010__an_r_0048_0013__maxim [arg1] r_0048_0018__not_r_0048_0019__yet not yet r_0048_0020__carried->r_0048_0018__not_r_0048_0019__yet [nim] r_0048_0024__conclusion conclusion r_0048_0020__carried->r_0048_0024__conclusion to [clr] z_000_48_a_lob_g01_48 r_0048_0020__carried->z_000_48_a_lob_g01_48 [arg0] r_0048_0024__conclusion->r_0048_0010__an_r_0048_0013__maxim [gen] r_0048_0023__logical logical r_0048_0024__conclusion->r_0048_0023__logical [attrib] r_0048_0028__were were r_0048_0030__to_r_0048_0031__be to be r_0048_0028__were->r_0048_0030__to_r_0048_0031__be [scope] r_0048_0029__still still r_0048_0030__to_r_0048_0031__be->r_0048_0029__still [nim] r_0048_0032__taxed taxed r_0048_0030__to_r_0048_0031__be->r_0048_0032__taxed [scope] r_0048_0026__the_r_0048_0027__people the people r_0048_0032__taxed->r_0048_0026__the_r_0048_0027__people [arg1] r_0048_0034__the_r_0048_0035__Commons the Commons r_0048_0032__taxed->r_0048_0034__the_r_0048_0035__Commons [arg0] z_000_48_a_lob_g01_2 z_000_48_a_lob_g01_2->r_0048_0015__but [conj1] z_000_48_a_lob_g01_2->r_0048_0028__were [conj2] 
arc(r_0048_0009__was, r_0048_0002__Quod_r_0048_0003__omnes_r_0048_0004__tangit_r_0048_0005__ab_r_0048_0006__omnibus_r_0048_0007__approbetur, arg0).
arc(r_0048_0009__was, r_0048_0010__an_r_0048_0013__maxim, prd).
arc(r_0048_0010__an_r_0048_0013__maxim, r_0048_0011__accepted, attrib28).
arc(r_0048_0010__an_r_0048_0013__maxim, r_0048_0012__legal, attrib31).
arc(r_0048_0015__but, r_0048_0009__was, conj1).
arc(r_0048_0015__but, r_0048_0017__was, conj2).
arc(r_0048_0017__was, r_0048_0020__carried, scope).
arc(r_0048_0020__carried, r_0048_0010__an_r_0048_0013__maxim, arg1).
arc(r_0048_0020__carried, r_0048_0018__not_r_0048_0019__yet, nim50).
arc(r_0048_0020__carried, r_0048_0024__conclusion, r_0048_0021__to_clr60).
arc(r_0048_0020__carried, z_000_48_a_lob_g01_48, arg0).
arc(r_0048_0024__conclusion, r_0048_0010__an_r_0048_0013__maxim, gen).
arc(r_0048_0024__conclusion, r_0048_0023__logical, attrib64).
arc(r_0048_0028__were, r_0048_0030__to_r_0048_0031__be, scope).
arc(r_0048_0030__to_r_0048_0031__be, r_0048_0029__still, nim81).
arc(r_0048_0030__to_r_0048_0031__be, r_0048_0032__taxed, scope).
arc(r_0048_0032__taxed, r_0048_0026__the_r_0048_0027__people, arg1).
arc(r_0048_0032__taxed, r_0048_0034__the_r_0048_0035__Commons, arg0).
arc(z_000_48_a_lob_g01_2, r_0048_0015__but, conj1).
arc(z_000_48_a_lob_g01_2, r_0048_0028__were, conj2).


%3 r_0048_0009__was was r_0048_0002__Quod_r_0048_0003__omnes_r_0048_0004__tangit_r_0048_0005__ab_r_0048_0006__omnibus_r_0048_0007__approbetur Quod omnes tangit ab omnibus approbetur r_0048_0009__was->r_0048_0002__Quod_r_0048_0003__omnes_r_0048_0004__tangit_r_0048_0005__ab_r_0048_0006__omnibus_r_0048_0007__approbetur [arg0] r_0048_0010__an_r_0048_0013__maxim an maxim r_0048_0009__was->r_0048_0010__an_r_0048_0013__maxim [prd] r_0048_0011__accepted accepted r_0048_0010__an_r_0048_0013__maxim->r_0048_0011__accepted [attrib] r_0048_0012__legal legal r_0048_0010__an_r_0048_0013__maxim->r_0048_0012__legal [attrib] r_0048_0015__but but r_0048_0015__but->r_0048_0009__was [conj1] r_0048_0017__was_r_0048_0020__carried was carried r_0048_0015__but->r_0048_0017__was_r_0048_0020__carried [conj2] r_0048_0017__was_r_0048_0020__carried->r_0048_0010__an_r_0048_0013__maxim [arg1] r_0048_0018__not_r_0048_0019__yet not yet r_0048_0017__was_r_0048_0020__carried->r_0048_0018__not_r_0048_0019__yet [nim] r_0048_0024__conclusion conclusion r_0048_0017__was_r_0048_0020__carried->r_0048_0024__conclusion to [clr] z_000_48_a_lob_g01_48 r_0048_0017__was_r_0048_0020__carried->z_000_48_a_lob_g01_48 [arg0] r_0048_0024__conclusion->r_0048_0010__an_r_0048_0013__maxim [gen] r_0048_0023__logical logical r_0048_0024__conclusion->r_0048_0023__logical [attrib] r_0048_0028__were_r_0048_0030__to_r_0048_0031__be_r_0048_0032__taxed were to be taxed r_0048_0026__the_r_0048_0027__people the people r_0048_0028__were_r_0048_0030__to_r_0048_0031__be_r_0048_0032__taxed->r_0048_0026__the_r_0048_0027__people [arg1] r_0048_0029__still still r_0048_0028__were_r_0048_0030__to_r_0048_0031__be_r_0048_0032__taxed->r_0048_0029__still [nim] r_0048_0034__the_r_0048_0035__Commons the Commons r_0048_0028__were_r_0048_0030__to_r_0048_0031__be_r_0048_0032__taxed->r_0048_0034__the_r_0048_0035__Commons [arg0] z_000_48_a_lob_g01_2 z_000_48_a_lob_g01_2->r_0048_0015__but [conj1] z_000_48_a_lob_g01_2->r_0048_0028__were_r_0048_0030__to_r_0048_0031__be_r_0048_0032__taxed [conj2] 
fof(formula,axiom,
    ? [Z_48_A_LOB_G01_2,R_48_15_BUT,R_48_9_WAS,R_48_2_QUOD_OMNES_TANGIT_AB_OMNIBUS_APPROBETUR,R_48_17_WAS_CARRIED,Z_48_A_LOB_G01_48,R_48_18_NOT_YET,R_48_24_CONCLUSION,R_48_23_LOGICAL,R_48_10_AN_MAXIM,R_48_11_ACCEPTED,R_48_12_LEGAL,R_48_28_WERE_TO_BE_TAXED,R_48_34_THE_COMMONS,R_48_26_THE_PEOPLE,R_48_29_STILL] :
      ( quod_omnes_tangit_ab_omnibus_approbetur(R_48_2_QUOD_OMNES_TANGIT_AB_OMNIBUS_APPROBETUR)
      & not_yet(R_48_18_NOT_YET)
      & logical(R_48_23_LOGICAL)
      & accepted(R_48_11_ACCEPTED)
      & legal(R_48_12_LEGAL)
      & the_Commons(R_48_34_THE_COMMONS)
      & the_people(R_48_26_THE_PEOPLE)
      & still(R_48_29_STILL)
      & z_48_a_lob_g01_2(Z_48_A_LOB_G01_2)
      & conj1(Z_48_A_LOB_G01_2,R_48_15_BUT)
      & but(R_48_15_BUT)
      & conj1(R_48_15_BUT,R_48_9_WAS)
      & was(R_48_9_WAS,R_48_2_QUOD_OMNES_TANGIT_AB_OMNIBUS_APPROBETUR,R_48_10_AN_MAXIM)
      & an_maxim(R_48_10_AN_MAXIM)
      & attrib28(R_48_10_AN_MAXIM,R_48_11_ACCEPTED)
      & attrib31(R_48_10_AN_MAXIM,R_48_12_LEGAL)
      & conj2(R_48_15_BUT,R_48_17_WAS_CARRIED)
      & was_carried(R_48_17_WAS_CARRIED,Z_48_A_LOB_G01_48,R_48_10_AN_MAXIM)
      & nim50(R_48_17_WAS_CARRIED,R_48_18_NOT_YET)
      & to_clr60(R_48_17_WAS_CARRIED,R_48_24_CONCLUSION)
      & conclusion(R_48_24_CONCLUSION)
      & attrib64(R_48_24_CONCLUSION,R_48_23_LOGICAL)
      & gen(R_48_24_CONCLUSION,R_48_10_AN_MAXIM)
      & conj2(Z_48_A_LOB_G01_2,R_48_28_WERE_TO_BE_TAXED)
      & were_to_be_taxed(R_48_28_WERE_TO_BE_TAXED,R_48_34_THE_COMMONS,R_48_26_THE_PEOPLE)
      & nim81(R_48_28_WERE_TO_BE_TAXED,R_48_29_STILL) ) ).


n48_a_lob_g01 n48_a_lob_g01_7 <lquo> n48_a_lob_g01_10 Quod n48_a_lob_g01_12 omnes n48_a_lob_g01_14 tangit n48_a_lob_g01_16 ab n48_a_lob_g01_18 omnibus n48_a_lob_g01_20 approbetur n48_a_lob_g01_22 <rquo> n48_a_lob_g01_24 was n48_a_lob_g01_27 an n48_a_lob_g01_30 accepted n48_a_lob_g01_33 legal n48_a_lob_g01_35 maxim n48_a_lob_g01_37 , n48_a_lob_g01_40 but n48_a_lob_g01_44 it n48_a_lob_g01_46 was n48_a_lob_g01_49 * n48_a_lob_g01_52 not n48_a_lob_g01_54 yet n48_a_lob_g01_56 carried n48_a_lob_g01_59 to n48_a_lob_g01_63 its n48_a_lob_g01_66 logical n48_a_lob_g01_68 conclusion n48_a_lob_g01_70 <mdash> n48_a_lob_g01_75 the n48_a_lob_g01_77 people n48_a_lob_g01_79 were n48_a_lob_g01_83 still n48_a_lob_g01_85 to n48_a_lob_g01_87 be n48_a_lob_g01_90 taxed n48_a_lob_g01_93 by n48_a_lob_g01_96 the n48_a_lob_g01_98 Commons n48_a_lob_g01_100 . n48_a_lob_g01_1 IP-MAT n48_a_lob_g01_2 ILYR n48_a_lob_g01_1->n48_a_lob_g01_2 n48_a_lob_g01_99 PUNC n48_a_lob_g01_1->n48_a_lob_g01_99 n48_a_lob_g01_3 ILYR n48_a_lob_g01_2->n48_a_lob_g01_3 n48_a_lob_g01_69 PUNC n48_a_lob_g01_2->n48_a_lob_g01_69 n48_a_lob_g01_71 CONJP n48_a_lob_g01_2->n48_a_lob_g01_71 n48_a_lob_g01_4 ILYR n48_a_lob_g01_3->n48_a_lob_g01_4 n48_a_lob_g01_5 ILYR n48_a_lob_g01_4->n48_a_lob_g01_5 n48_a_lob_g01_36 PUNC n48_a_lob_g01_4->n48_a_lob_g01_36 n48_a_lob_g01_38 CONJP n48_a_lob_g01_4->n48_a_lob_g01_38 n48_a_lob_g01_6 PULQ n48_a_lob_g01_5->n48_a_lob_g01_6 n48_a_lob_g01_8 NP-SBJ n48_a_lob_g01_5->n48_a_lob_g01_8 n48_a_lob_g01_21 PURQ n48_a_lob_g01_5->n48_a_lob_g01_21 n48_a_lob_g01_23 BED;_Ln_ n48_a_lob_g01_5->n48_a_lob_g01_23 n48_a_lob_g01_25 NP-PRD n48_a_lob_g01_5->n48_a_lob_g01_25 n48_a_lob_g01_6->n48_a_lob_g01_7 n48_a_lob_g01_9 FW n48_a_lob_g01_8->n48_a_lob_g01_9 n48_a_lob_g01_11 FW n48_a_lob_g01_8->n48_a_lob_g01_11 n48_a_lob_g01_13 FW n48_a_lob_g01_8->n48_a_lob_g01_13 n48_a_lob_g01_15 FW n48_a_lob_g01_8->n48_a_lob_g01_15 n48_a_lob_g01_17 FW n48_a_lob_g01_8->n48_a_lob_g01_17 n48_a_lob_g01_19 FW n48_a_lob_g01_8->n48_a_lob_g01_19 n48_a_lob_g01_9->n48_a_lob_g01_10 n48_a_lob_g01_11->n48_a_lob_g01_12 n48_a_lob_g01_13->n48_a_lob_g01_14 n48_a_lob_g01_15->n48_a_lob_g01_16 n48_a_lob_g01_17->n48_a_lob_g01_18 n48_a_lob_g01_19->n48_a_lob_g01_20 n48_a_lob_g01_21->n48_a_lob_g01_22 n48_a_lob_g01_23->n48_a_lob_g01_24 n48_a_lob_g01_26 D n48_a_lob_g01_25->n48_a_lob_g01_26 n48_a_lob_g01_28 ADJP n48_a_lob_g01_25->n48_a_lob_g01_28 n48_a_lob_g01_31 ADJP n48_a_lob_g01_25->n48_a_lob_g01_31 n48_a_lob_g01_34 N n48_a_lob_g01_25->n48_a_lob_g01_34 n48_a_lob_g01_26->n48_a_lob_g01_27 n48_a_lob_g01_29 ADJ n48_a_lob_g01_28->n48_a_lob_g01_29 n48_a_lob_g01_29->n48_a_lob_g01_30 n48_a_lob_g01_32 ADJ n48_a_lob_g01_31->n48_a_lob_g01_32 n48_a_lob_g01_32->n48_a_lob_g01_33 n48_a_lob_g01_34->n48_a_lob_g01_35 n48_a_lob_g01_36->n48_a_lob_g01_37 n48_a_lob_g01_39 CONJ n48_a_lob_g01_38->n48_a_lob_g01_39 n48_a_lob_g01_41 ILYR n48_a_lob_g01_38->n48_a_lob_g01_41 n48_a_lob_g01_39->n48_a_lob_g01_40 n48_a_lob_g01_42 NP-SBJ n48_a_lob_g01_41->n48_a_lob_g01_42 n48_a_lob_g01_45 BED;_cat_VePASS_ n48_a_lob_g01_41->n48_a_lob_g01_45 n48_a_lob_g01_47 IP-PPL-CAT n48_a_lob_g01_41->n48_a_lob_g01_47 n48_a_lob_g01_43 PRO n48_a_lob_g01_42->n48_a_lob_g01_43 n48_a_lob_g01_43->n48_a_lob_g01_44 n48_a_lob_g01_45->n48_a_lob_g01_46 n48_a_lob_g01_48 NP-LGS n48_a_lob_g01_47->n48_a_lob_g01_48 n48_a_lob_g01_50 ADVP-NIM n48_a_lob_g01_47->n48_a_lob_g01_50 n48_a_lob_g01_55 VVN;__ n48_a_lob_g01_47->n48_a_lob_g01_55 n48_a_lob_g01_57 PP-CLR n48_a_lob_g01_47->n48_a_lob_g01_57 n48_a_lob_g01_48->n48_a_lob_g01_49 n48_a_lob_g01_51 NEG n48_a_lob_g01_50->n48_a_lob_g01_51 n48_a_lob_g01_53 ADV n48_a_lob_g01_50->n48_a_lob_g01_53 n48_a_lob_g01_51->n48_a_lob_g01_52 n48_a_lob_g01_53->n48_a_lob_g01_54 n48_a_lob_g01_55->n48_a_lob_g01_56 n48_a_lob_g01_58 P-ROLE n48_a_lob_g01_57->n48_a_lob_g01_58 n48_a_lob_g01_60 NP n48_a_lob_g01_57->n48_a_lob_g01_60 n48_a_lob_g01_58->n48_a_lob_g01_59 n48_a_lob_g01_61 NP-GEN n48_a_lob_g01_60->n48_a_lob_g01_61 n48_a_lob_g01_64 ADJP n48_a_lob_g01_60->n48_a_lob_g01_64 n48_a_lob_g01_67 N n48_a_lob_g01_60->n48_a_lob_g01_67 n48_a_lob_g01_62 PRO;_genm_ n48_a_lob_g01_61->n48_a_lob_g01_62 n48_a_lob_g01_62->n48_a_lob_g01_63 n48_a_lob_g01_65 ADJ n48_a_lob_g01_64->n48_a_lob_g01_65 n48_a_lob_g01_65->n48_a_lob_g01_66 n48_a_lob_g01_67->n48_a_lob_g01_68 n48_a_lob_g01_69->n48_a_lob_g01_70 n48_a_lob_g01_72 ILYR n48_a_lob_g01_71->n48_a_lob_g01_72 n48_a_lob_g01_73 NP-SBJ n48_a_lob_g01_72->n48_a_lob_g01_73 n48_a_lob_g01_78 BED;_cat_Vt_ n48_a_lob_g01_72->n48_a_lob_g01_78 n48_a_lob_g01_80 IP-INF-CAT n48_a_lob_g01_72->n48_a_lob_g01_80 n48_a_lob_g01_74 D n48_a_lob_g01_73->n48_a_lob_g01_74 n48_a_lob_g01_76 N n48_a_lob_g01_73->n48_a_lob_g01_76 n48_a_lob_g01_74->n48_a_lob_g01_75 n48_a_lob_g01_76->n48_a_lob_g01_77 n48_a_lob_g01_78->n48_a_lob_g01_79 n48_a_lob_g01_81 ADVP-NIM n48_a_lob_g01_80->n48_a_lob_g01_81 n48_a_lob_g01_84 TO n48_a_lob_g01_80->n48_a_lob_g01_84 n48_a_lob_g01_86 BE;_cat_VePASS_ n48_a_lob_g01_80->n48_a_lob_g01_86 n48_a_lob_g01_88 IP-PPL-CAT n48_a_lob_g01_80->n48_a_lob_g01_88 n48_a_lob_g01_82 ADV n48_a_lob_g01_81->n48_a_lob_g01_82 n48_a_lob_g01_82->n48_a_lob_g01_83 n48_a_lob_g01_84->n48_a_lob_g01_85 n48_a_lob_g01_86->n48_a_lob_g01_87 n48_a_lob_g01_89 VVN;__ n48_a_lob_g01_88->n48_a_lob_g01_89 n48_a_lob_g01_91 PP-LGS n48_a_lob_g01_88->n48_a_lob_g01_91 n48_a_lob_g01_89->n48_a_lob_g01_90 n48_a_lob_g01_92 P-ROLE;_lgs_ n48_a_lob_g01_91->n48_a_lob_g01_92 n48_a_lob_g01_94 NP n48_a_lob_g01_91->n48_a_lob_g01_94 n48_a_lob_g01_92->n48_a_lob_g01_93 n48_a_lob_g01_95 D n48_a_lob_g01_94->n48_a_lob_g01_95 n48_a_lob_g01_97 NPR n48_a_lob_g01_94->n48_a_lob_g01_97 n48_a_lob_g01_95->n48_a_lob_g01_96 n48_a_lob_g01_97->n48_a_lob_g01_98 n48_a_lob_g01_99->n48_a_lob_g01_100 
( (IP-MAT (ILYR (ILYR (ILYR (ILYR (PULQ <lquo>)
                                  (NP-SBJ (FW Quod)
                                          (FW omnes)
                                          (FW tangit)
                                          (FW ab)
                                          (FW omnibus)
                                          (FW approbetur))
                                  (PURQ <rquo>)
                                  (BED;_Ln_ was;{be})
                                  (NP-PRD (D an;{an})
                                          (ADJP (ADJ accepted;{accepted}))
                                          (ADJP (ADJ legal;{legal}))
                                          (N maxim;{maxim})))
                            (PUNC ,)
                            (CONJP (CONJ but;{but})
                                   (ILYR (NP-SBJ (PRO it;{it}))
                                         (BED;_cat_VePASS_ was;{be})
                                         (IP-PPL-CAT (NP-LGS *)
                                                     (ADVP-NIM (NEG not;{not})
                                                               (ADV yet;{yet}))
                                                     (VVN;__ carried;{carry})
                                                     (PP-CLR (P-ROLE to;{to})
                                                             (NP (NP-GEN (PRO;_genm_ its;{its}))
                                                                 (ADJP (ADJ logical;{logical}))
                                                                 (N conclusion;{conclusion}))))))))
                (PUNC <mdash>)
                (CONJP (ILYR (NP-SBJ (D the;{the})
                                     (N people;{people}))
                             (BED;_cat_Vt_ were;{be})
                             (IP-INF-CAT (ADVP-NIM (ADV still;{still}))
                                         (TO to;{to})
                                         (BE;_cat_VePASS_ be;{be})
                                         (IP-PPL-CAT (VVN;__ taxed;{tax})
                                                     (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                             (NP (D the;{the})
                                                                 (NPR Commons;{Commons}))))))))
          (PUNC .))
  (ID 48_a_lob_g01))