TSPC 18_a_uksc

18_a_uksc_judgment
A fundamental change was due to take place in the Constitution of the United Kingdom on 31st October 2019.

( (IP-MAT (NP-SBJ;{CHANGE} (D A;{a})
                           (ADJP (ADJ fundamental;{fundamental}))
                           (N change;{change}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJ;_cat_ due;{due})
                    (IP-INF (TO to;{to})
                            (VB;_Tn.pr_ take;{take[in]})
                            (NP-OB1 (N place;{place}))
                            (PP-CLR (P-ROLE in;{in})
                                    (NP (D the;{the})
                                        (N Constitution;{constitution})
                                        (PP (P-ROLE of;{of})
                                            (NP;{COUNTRY} (D the;{the})
                                                          (NPR United;{United})
                                                          (NPR Kingdom;{Kingdom})))
                                        (PP (P-ROLE on;{on})
                                            (NP (ADJP (ADJ 31st))
                                                (NPR October;{October})
                                                (NPR 2019)))))))
          (PUNC .))
  (ID 18_a_uksc_judgment))

arc(r_0018_0001__A_r_0018_0003__change,r_0018_0002__fundamental,attrib).
arc(r_0018_0004__was,r_0018_0005__due,scope).
arc(r_0018_0005__due,r_0018_0007__take_r_0018_0009__in,scope).
arc(r_0018_0007__take_r_0018_0009__in,r_0018_0001__A_r_0018_0003__change,arg0).
arc(r_0018_0007__take_r_0018_0009__in,r_0018_0008__place,arg1).
arc(r_0018_0007__take_r_0018_0009__in,r_0018_0010__the_r_0018_0011__Constitution,arg2).
arc(r_0018_0010__the_r_0018_0011__Constitution,r_0018_0013__the_r_0018_0014__United_r_0018_0015__Kingdom,r_0018_0012__of).
arc(r_0018_0010__the_r_0018_0011__Constitution,r_0018_0018__October_r_0018_0019__2019,r_0018_0016__on).
arc(r_0018_0018__October_r_0018_0019__2019,r_0018_0017__31st,attrib).

fof(formula,axiom,
    ? [R_0018_0002__FUNDAMENTAL,R_0018_0001__A_R_0018_0003__CHANGE,R_0018_0008__PLACE,R_0018_0013__THE_R_0018_0014__UNITED_R_0018_0015__KINGDOM,R_0018_0017__31ST,R_0018_0018__OCTOBER_R_0018_0019__2019,R_0018_0010__THE_R_0018_0011__CONSTITUTION,R_0018_0004__WAS_R_0018_0005__DUE_R_0018_0007__TAKE_R_0018_0009__IN] :
      ( r_0018_0002__fundamental(R_0018_0002__FUNDAMENTAL)
      & r_0018_0008__place(R_0018_0008__PLACE)
      & r_0018_0013__the_r_0018_0014__United_r_0018_0015__Kingdom(R_0018_0013__THE_R_0018_0014__UNITED_R_0018_0015__KINGDOM)
      & r_0018_0017__31st(R_0018_0017__31ST)
      & r_0018_0004__was_r_0018_0005__due_r_0018_0007__take_r_0018_0009__in(R_0018_0004__WAS_R_0018_0005__DUE_R_0018_0007__TAKE_R_0018_0009__IN)
      & has_arg2(R_0018_0004__WAS_R_0018_0005__DUE_R_0018_0007__TAKE_R_0018_0009__IN,R_0018_0010__THE_R_0018_0011__CONSTITUTION)
      & r_0018_0010__the_r_0018_0011__Constitution(R_0018_0010__THE_R_0018_0011__CONSTITUTION)
      & has_r_0018_0016__on(R_0018_0010__THE_R_0018_0011__CONSTITUTION,R_0018_0018__OCTOBER_R_0018_0019__2019)
      & r_0018_0018__October_r_0018_0019__2019(R_0018_0018__OCTOBER_R_0018_0019__2019)
      & has_attrib(R_0018_0018__OCTOBER_R_0018_0019__2019,R_0018_0017__31ST)
      & has_r_0018_0012__of(R_0018_0010__THE_R_0018_0011__CONSTITUTION,R_0018_0013__THE_R_0018_0014__UNITED_R_0018_0015__KINGDOM)
      & has_arg1(R_0018_0004__WAS_R_0018_0005__DUE_R_0018_0007__TAKE_R_0018_0009__IN,R_0018_0008__PLACE)
      & has_arg0(R_0018_0004__WAS_R_0018_0005__DUE_R_0018_0007__TAKE_R_0018_0009__IN,R_0018_0001__A_R_0018_0003__CHANGE)
      & r_0018_0001__A_r_0018_0003__change(R_0018_0001__A_R_0018_0003__CHANGE)
      & has_attrib(R_0018_0001__A_R_0018_0003__CHANGE,R_0018_0002__FUNDAMENTAL) ) ).