TSPC 47_a_lob

47_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.

arc(r_0047_0009__was, r_0047_0002__Quod_r_0047_0003__omnes_r_0047_0004__tangit_r_0047_0005__ab_r_0047_0006__omnibus_r_0047_0007__approbetur, arg0).
arc(r_0047_0009__was, r_0047_0010__an_r_0047_0013__maxim, prd).
arc(r_0047_0010__an_r_0047_0013__maxim, r_0047_0011__accepted, attrib28).
arc(r_0047_0010__an_r_0047_0013__maxim, r_0047_0012__legal, attrib31).
arc(r_0047_0015__but, r_0047_0009__was, conj1).
arc(r_0047_0015__but, r_0047_0017__was, conj2).
arc(r_0047_0017__was, r_0047_0020__carried, scope).
arc(r_0047_0020__carried, r_0047_0010__an_r_0047_0013__maxim, arg1).
arc(r_0047_0020__carried, r_0047_0018__not_r_0047_0019__yet, nim50).
arc(r_0047_0020__carried, r_0047_0024__conclusion, r_0047_0021__to_clr60).
arc(r_0047_0020__carried, z_000_47_a_lob_g01_48, arg0).
arc(r_0047_0024__conclusion, r_0047_0010__an_r_0047_0013__maxim, gen).
arc(r_0047_0024__conclusion, r_0047_0023__logical, attrib64).
arc(r_0047_0028__were, r_0047_0030__to_r_0047_0031__be, scope).
arc(r_0047_0030__to_r_0047_0031__be, r_0047_0029__still, nim81).
arc(r_0047_0030__to_r_0047_0031__be, r_0047_0032__taxed, scope).
arc(r_0047_0032__taxed, r_0047_0026__the_r_0047_0027__people, arg1).
arc(r_0047_0032__taxed, r_0047_0034__the_r_0047_0035__Commons, arg0).
arc(z_000_47_a_lob_g01_2, r_0047_0015__but, conj1).
arc(z_000_47_a_lob_g01_2, r_0047_0028__were, conj2).

fof(formula,axiom,
    ? [R_0047_0002__QUOD_R_0047_0003__OMNES_R_0047_0004__TANGIT_R_0047_0005__AB_R_0047_0006__OMNIBUS_R_0047_0007__APPROBETUR,R_0047_0011__ACCEPTED,R_0047_0012__LEGAL,R_0047_0010__AN_R_0047_0013__MAXIM,R_0047_0009__WAS,R_0047_0018__NOT_R_0047_0019__YET,R_0047_0023__LOGICAL,R_0047_0024__CONCLUSION,Z_000_47_A_LOB_G01_48,R_0047_0017__WAS_R_0047_0020__CARRIED,R_0047_0015__BUT,R_0047_0029__STILL,R_0047_0026__THE_R_0047_0027__PEOPLE,R_0047_0034__THE_R_0047_0035__COMMONS,R_0047_0028__WERE_R_0047_0030__TO_R_0047_0031__BE_R_0047_0032__TAXED,Z_000_47_A_LOB_G01_2] :
      ( r_0047_0002__Quod_r_0047_0003__omnes_r_0047_0004__tangit_r_0047_0005__ab_r_0047_0006__omnibus_r_0047_0007__approbetur(R_0047_0002__QUOD_R_0047_0003__OMNES_R_0047_0004__TANGIT_R_0047_0005__AB_R_0047_0006__OMNIBUS_R_0047_0007__APPROBETUR)
      & r_0047_0011__accepted(R_0047_0011__ACCEPTED)
      & r_0047_0012__legal(R_0047_0012__LEGAL)
      & r_0047_0018__not_r_0047_0019__yet(R_0047_0018__NOT_R_0047_0019__YET)
      & r_0047_0023__logical(R_0047_0023__LOGICAL)
      & r_0047_0026__the_r_0047_0027__people(R_0047_0026__THE_R_0047_0027__PEOPLE)
      & r_0047_0029__still(R_0047_0029__STILL)
      & r_0047_0034__the_r_0047_0035__Commons(R_0047_0034__THE_R_0047_0035__COMMONS)
      & z_000_47_a_lob_g01_48(Z_000_47_A_LOB_G01_48)
      & z_000_47_a_lob_g01_2(Z_000_47_A_LOB_G01_2)
      & has_conj2(Z_000_47_A_LOB_G01_2,R_0047_0028__WERE_R_0047_0030__TO_R_0047_0031__BE_R_0047_0032__TAXED)
      & r_0047_0028__were_r_0047_0030__to_r_0047_0031__be_r_0047_0032__taxed(R_0047_0028__WERE_R_0047_0030__TO_R_0047_0031__BE_R_0047_0032__TAXED)
      & has_arg0(R_0047_0028__WERE_R_0047_0030__TO_R_0047_0031__BE_R_0047_0032__TAXED,R_0047_0034__THE_R_0047_0035__COMMONS)
      & has_arg1(R_0047_0028__WERE_R_0047_0030__TO_R_0047_0031__BE_R_0047_0032__TAXED,R_0047_0026__THE_R_0047_0027__PEOPLE)
      & has_nim81(R_0047_0028__WERE_R_0047_0030__TO_R_0047_0031__BE_R_0047_0032__TAXED,R_0047_0029__STILL)
      & has_conj1(Z_000_47_A_LOB_G01_2,R_0047_0015__BUT)
      & r_0047_0015__but(R_0047_0015__BUT)
      & has_conj2(R_0047_0015__BUT,R_0047_0017__WAS_R_0047_0020__CARRIED)
      & r_0047_0017__was_r_0047_0020__carried(R_0047_0017__WAS_R_0047_0020__CARRIED)
      & has_arg0(R_0047_0017__WAS_R_0047_0020__CARRIED,Z_000_47_A_LOB_G01_48)
      & has_r_0047_0021__to_clr60(R_0047_0017__WAS_R_0047_0020__CARRIED,R_0047_0024__CONCLUSION)
      & r_0047_0024__conclusion(R_0047_0024__CONCLUSION)
      & has_attrib64(R_0047_0024__CONCLUSION,R_0047_0023__LOGICAL)
      & has_gen(R_0047_0024__CONCLUSION,R_0047_0010__AN_R_0047_0013__MAXIM)
      & r_0047_0010__an_r_0047_0013__maxim(R_0047_0010__AN_R_0047_0013__MAXIM)
      & has_attrib31(R_0047_0010__AN_R_0047_0013__MAXIM,R_0047_0012__LEGAL)
      & has_attrib28(R_0047_0010__AN_R_0047_0013__MAXIM,R_0047_0011__ACCEPTED)
      & has_nim50(R_0047_0017__WAS_R_0047_0020__CARRIED,R_0047_0018__NOT_R_0047_0019__YET)
      & has_arg1(R_0047_0017__WAS_R_0047_0020__CARRIED,R_0047_0010__AN_R_0047_0013__MAXIM)
      & has_conj1(R_0047_0015__BUT,R_0047_0009__WAS)
      & r_0047_0009__was(R_0047_0009__WAS)
      & has_prd(R_0047_0009__WAS,R_0047_0010__AN_R_0047_0013__MAXIM)
      & has_arg0(R_0047_0009__WAS,R_0047_0002__QUOD_R_0047_0003__OMNES_R_0047_0004__TANGIT_R_0047_0005__AB_R_0047_0006__OMNIBUS_R_0047_0007__APPROBETUR) ) ).

( (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 47_a_lob_g01))