TSPC 23_a_uksc

23_a_uksc_judgment
58. The next question is whether there is a reasonable justification for taking action which had such an extreme effect upon the fundamentals of our democracy.

( (IP-MAT (LST (LS 58<dot>))
          (NP-SBJ (D The;{the})
                  (ADJP (ADJ next;{next}))
                  (N question;{question}))
          (BEP;_equ_Vw_ is;{be})
          (CP-QUE-PRD (IP-SUB (WQ whether;{whether})
                              (EX there;{there})
                              (BEP;_ex_V_ is;{be})
                              (NP-ESBJ (D a;{a})
                                       (ADJP (ADJ reasonable;{reasonable}))
                                       (N justification;{justification})
                                       (PP (P-ROLE for;{for})
                                           (IP-PPL3 (VAG;_Tn_ taking;{take})
                                                    (NP-OB1 (N action;{action})
                                                            (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                    (HVD;_Tn_ had;{have})
                                                                    (NP-OB1 (ADJP (ADJ;_such_ such;{such}))
                                                                            (D an;{an})
                                                                            (ADJP (ADJ extreme;{extreme}))
                                                                            (N effect;{effect})
                                                                            (PP (P-ROLE upon;{upon})
                                                                                (NP (D the;{the})
                                                                                    (NS fundamentals;{fundamental})
                                                                                    (PP (P-ROLE of;{of})
                                                                                        (NP (NP-GEN (PRO;_genm_ our;{our}))
                                                                                            (N democracy;{democracy})))))))))))))
          (PUNC .))
  (ID 23_a_uksc_judgment))

arc(r_0023_0002__The_r_0023_0004__question,r_0023_0003__next,attrib).
arc(r_0023_0005__is,r_0023_0002__The_r_0023_0004__question,arg0).
arc(r_0023_0005__is,r_0023_0006__whether,prd).
arc(r_0023_0006__whether,r_0023_0008__is,keep_scope).
arc(r_0023_0008__is,r_0023_0009__a_r_0023_0011__justification,arg0).
arc(r_0023_0009__a_r_0023_0011__justification,r_0023_0010__reasonable,attrib).
arc(r_0023_0009__a_r_0023_0011__justification,r_0023_0013__taking,r_0023_0012__for).
arc(r_0023_0013__taking,r_0023_0014__action,arg1).
arc(r_0023_0013__taking,z_0023_5008,arg0).
arc(r_0023_0016__had,r_0023_0014__action,arg0).
arc(r_0023_0016__had,r_0023_0018__an_r_0023_0020__effect,arg1).
arc(r_0023_0018__an_r_0023_0020__effect,r_0023_0017__such,attrib).
arc(r_0023_0018__an_r_0023_0020__effect,r_0023_0019__extreme,attrib).
arc(r_0023_0018__an_r_0023_0020__effect,r_0023_0022__the_r_0023_0023__fundamentals,r_0023_0021__upon).
arc(r_0023_0022__the_r_0023_0023__fundamentals,r_0023_0026__democracy,r_0023_0024__of).
arc(r_0023_0026__democracy,r_0023_0025__our,gen).

fof(formula,axiom,
    ? [R_0023_0003__NEXT,R_0023_0002__THE_R_0023_0004__QUESTION,R_0023_0010__REASONABLE,R_0023_0014__ACTION,Z_0023_5008,R_0023_0013__TAKING,R_0023_0009__A_R_0023_0011__JUSTIFICATION,R_0023_0008__IS,R_0023_0006__WHETHER,R_0023_0005__IS,R_0023_0017__SUCH,R_0023_0019__EXTREME,R_0023_0025__OUR,R_0023_0026__DEMOCRACY,R_0023_0022__THE_R_0023_0023__FUNDAMENTALS,R_0023_0018__AN_R_0023_0020__EFFECT,R_0023_0016__HAD] :
      ( r_0023_0003__next(R_0023_0003__NEXT)
      & r_0023_0010__reasonable(R_0023_0010__REASONABLE)
      & r_0023_0014__action(R_0023_0014__ACTION)
      & r_0023_0017__such(R_0023_0017__SUCH)
      & r_0023_0019__extreme(R_0023_0019__EXTREME)
      & r_0023_0025__our(R_0023_0025__OUR)
      & z_0023_5008(Z_0023_5008)
      & r_0023_0016__had(R_0023_0016__HAD)
      & has_arg1(R_0023_0016__HAD,R_0023_0018__AN_R_0023_0020__EFFECT)
      & r_0023_0018__an_r_0023_0020__effect(R_0023_0018__AN_R_0023_0020__EFFECT)
      & has_r_0023_0021__upon(R_0023_0018__AN_R_0023_0020__EFFECT,R_0023_0022__THE_R_0023_0023__FUNDAMENTALS)
      & r_0023_0022__the_r_0023_0023__fundamentals(R_0023_0022__THE_R_0023_0023__FUNDAMENTALS)
      & has_r_0023_0024__of(R_0023_0022__THE_R_0023_0023__FUNDAMENTALS,R_0023_0026__DEMOCRACY)
      & r_0023_0026__democracy(R_0023_0026__DEMOCRACY)
      & has_gen(R_0023_0026__DEMOCRACY,R_0023_0025__OUR)
      & has_attrib(R_0023_0018__AN_R_0023_0020__EFFECT,R_0023_0019__EXTREME)
      & has_attrib(R_0023_0018__AN_R_0023_0020__EFFECT,R_0023_0017__SUCH)
      & has_arg0(R_0023_0016__HAD,R_0023_0014__ACTION)
      & r_0023_0005__is(R_0023_0005__IS)
      & has_prd(R_0023_0005__IS,R_0023_0006__WHETHER)
      & r_0023_0006__whether(R_0023_0006__WHETHER)
      & has_keep_scope(R_0023_0006__WHETHER,R_0023_0008__IS)
      & r_0023_0008__is(R_0023_0008__IS)
      & has_arg0(R_0023_0008__IS,R_0023_0009__A_R_0023_0011__JUSTIFICATION)
      & r_0023_0009__a_r_0023_0011__justification(R_0023_0009__A_R_0023_0011__JUSTIFICATION)
      & has_r_0023_0012__for(R_0023_0009__A_R_0023_0011__JUSTIFICATION,R_0023_0013__TAKING)
      & r_0023_0013__taking(R_0023_0013__TAKING)
      & has_arg0(R_0023_0013__TAKING,Z_0023_5008)
      & has_arg1(R_0023_0013__TAKING,R_0023_0014__ACTION)
      & has_attrib(R_0023_0009__A_R_0023_0011__JUSTIFICATION,R_0023_0010__REASONABLE)
      & has_arg0(R_0023_0005__IS,R_0023_0002__THE_R_0023_0004__QUESTION)
      & r_0023_0002__The_r_0023_0004__question(R_0023_0002__THE_R_0023_0004__QUESTION)
      & has_attrib(R_0023_0002__THE_R_0023_0004__QUESTION,R_0023_0003__NEXT) ) ).