18_a_uksc_judgment
A fundamental change was due to take place in the Constitution of the United Kingdom on 31st October 2019.
arc(r_0018_0001__A_r_0018_0003__change, r_0018_0002__fundamental, attrib5).
arc(r_0018_0004__was, r_0018_0001__A_r_0018_0003__change, arg0).
arc(r_0018_0004__was, r_0018_0005__due, prd).
arc(r_0018_0005__due, r_0018_0006__to_r_0018_0007__take, emb15).
arc(r_0018_0006__to_r_0018_0007__take, r_0018_0008__place, arg1).
arc(r_0018_0006__to_r_0018_0007__take, r_0018_0010__the_r_0018_0011__Constitution, r_0018_0009__in_clr26).
arc(r_0018_0006__to_r_0018_0007__take, z_000_18_a_uksc_judgment_15, arg0).
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, attrib45).
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,Z_000_18_A_UKSC_JUDGMENT_15,R_0018_0006__TO_R_0018_0007__TAKE,R_0018_0005__DUE,R_0018_0004__WAS] :
( 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)
& z_000_18_a_uksc_judgment_15(Z_000_18_A_UKSC_JUDGMENT_15)
& r_0018_0004__was(R_0018_0004__WAS)
& has_prd(R_0018_0004__WAS,R_0018_0005__DUE)
& r_0018_0005__due(R_0018_0005__DUE)
& has_emb15(R_0018_0005__DUE,R_0018_0006__TO_R_0018_0007__TAKE)
& r_0018_0006__to_r_0018_0007__take(R_0018_0006__TO_R_0018_0007__TAKE)
& has_arg0(R_0018_0006__TO_R_0018_0007__TAKE,Z_000_18_A_UKSC_JUDGMENT_15)
& has_r_0018_0009__in_clr26(R_0018_0006__TO_R_0018_0007__TAKE,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_attrib45(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_0006__TO_R_0018_0007__TAKE,R_0018_0008__PLACE)
& has_arg0(R_0018_0004__WAS,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_attrib5(R_0018_0001__A_R_0018_0003__CHANGE,R_0018_0002__FUNDAMENTAL) ) ).
( (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))