21_a_major_case
%3
r_0021_0017__has
has
r_0021_0018__said
said
r_0021_0017__has->r_0021_0018__said
[scope]
r_0021_0014__The_r_0021_0015__Prime_r_0021_0016__Minister
The Prime Minister
r_0021_0018__said->r_0021_0014__The_r_0021_0015__Prime_r_0021_0016__Minister
[arg0]
r_0021_0025__nothing_quant
nothing [quant]
r_0021_0018__said->r_0021_0025__nothing_quant
[arg1]
r_0021_0019__that_r_0021_0024__is
that is
r_0021_0025__nothing_quant->r_0021_0019__that_r_0021_0024__is
[scope]
z_000_21_a_major_case_63
r_0021_0025__nothing_quant->z_000_21_a_major_case_63
[restriction]
r_0021_0020__the_r_0021_0021__Prorogation
the Prorogation
r_0021_0019__that_r_0021_0024__is->r_0021_0020__the_r_0021_0021__Prorogation
[arg0]
r_0021_0019__that_r_0021_0024__is->z_000_21_a_major_case_63
[prd]
r_0021_0023__Parliament
Parliament
r_0021_0020__the_r_0021_0021__Prorogation->r_0021_0023__Parliament
of
r_0021_0026__to_r_0021_0027__do
to do
r_0021_0026__to_r_0021_0027__do->z_000_21_a_major_case_63
[arg0]
r_0021_0029__Brexit
Brexit
r_0021_0026__to_r_0021_0027__do->r_0021_0029__Brexit
with [clr]
arc(r_0021_0017__has, r_0021_0018__said, scope).
arc(r_0021_0018__said, r_0021_0014__The_r_0021_0015__Prime_r_0021_0016__Minister, arg0).
arc(r_0021_0018__said, r_0021_0025__nothing_quant, arg1).
arc(r_0021_0019__that_r_0021_0024__is, r_0021_0020__the_r_0021_0021__Prorogation, arg0).
arc(r_0021_0019__that_r_0021_0024__is, z_000_21_a_major_case_63, prd).
arc(r_0021_0020__the_r_0021_0021__Prorogation, r_0021_0023__Parliament, r_0021_0022__of).
arc(r_0021_0025__nothing_quant, r_0021_0019__that_r_0021_0024__is, scope).
arc(r_0021_0025__nothing_quant, z_000_21_a_major_case_63, restriction).
arc(r_0021_0026__to_r_0021_0027__do, r_0021_0029__Brexit, r_0021_0028__with_clr76).
arc(r_0021_0026__to_r_0021_0027__do, z_000_21_a_major_case_63, arg0).
%3
r_0021_0026__to_r_0021_0027__do
to do
z_000_21_a_major_case_63
r_0021_0026__to_r_0021_0027__do->z_000_21_a_major_case_63
[arg0]
r_0021_0029__Brexit
Brexit
r_0021_0026__to_r_0021_0027__do->r_0021_0029__Brexit
with [clr]
r_0021_0025__nothing_quant
nothing [quant]
r_0021_0025__nothing_quant->r_0021_0026__to_r_0021_0027__do
[restriction]
r_0021_0019__that_r_0021_0024__is
that is
r_0021_0025__nothing_quant->r_0021_0019__that_r_0021_0024__is
[scope]
r_0021_0019__that_r_0021_0024__is->z_000_21_a_major_case_63
[prd]
r_0021_0020__the_r_0021_0021__Prorogation
the Prorogation
r_0021_0019__that_r_0021_0024__is->r_0021_0020__the_r_0021_0021__Prorogation
[arg0]
r_0021_0023__Parliament
Parliament
r_0021_0020__the_r_0021_0021__Prorogation->r_0021_0023__Parliament
of
r_0021_0017__has_r_0021_0018__said
has said
r_0021_0017__has_r_0021_0018__said->r_0021_0025__nothing_quant
[arg1]
r_0021_0014__The_r_0021_0015__Prime_r_0021_0016__Minister
The Prime Minister
r_0021_0017__has_r_0021_0018__said->r_0021_0014__The_r_0021_0015__Prime_r_0021_0016__Minister
[arg0]
fof(formula,axiom,
? [R_0021_0014__THE_R_0021_0015__PRIME_R_0021_0016__MINISTER,R_0021_0017__HAS_R_0021_0018__SAID] :
( r_0021_0014__The_r_0021_0015__Prime_r_0021_0016__Minister(R_0021_0014__THE_R_0021_0015__PRIME_R_0021_0016__MINISTER)
& r_0021_0017__has_r_0021_0018__said(R_0021_0017__HAS_R_0021_0018__SAID)
& ! [Z_000_21_A_MAJOR_CASE_63,R_0021_0029__BREXIT,R_0021_0026__TO_R_0021_0027__DO] :
( ( r_0021_0029__Brexit(R_0021_0029__BREXIT)
& z_000_21_a_major_case_63(Z_000_21_A_MAJOR_CASE_63)
& r_0021_0026__to_r_0021_0027__do(R_0021_0026__TO_R_0021_0027__DO)
& has_arg0(R_0021_0026__TO_R_0021_0027__DO,Z_000_21_A_MAJOR_CASE_63)
& has_r_0021_0028__with_clr76(R_0021_0026__TO_R_0021_0027__DO,R_0021_0029__BREXIT) )
=> ? [R_0021_0023__PARLIAMENT,R_0021_0020__THE_R_0021_0021__PROROGATION,R_0021_0019__THAT_R_0021_0024__IS] :
( r_0021_0023__Parliament(R_0021_0023__PARLIAMENT)
& r_0021_0019__that_r_0021_0024__is(R_0021_0019__THAT_R_0021_0024__IS)
& has_prd(R_0021_0019__THAT_R_0021_0024__IS,Z_000_21_A_MAJOR_CASE_63)
& has_arg0(R_0021_0019__THAT_R_0021_0024__IS,R_0021_0020__THE_R_0021_0021__PROROGATION)
& r_0021_0020__the_r_0021_0021__Prorogation(R_0021_0020__THE_R_0021_0021__PROROGATION)
& has_r_0021_0022__of(R_0021_0020__THE_R_0021_0021__PROROGATION,R_0021_0023__PARLIAMENT) ) )
& has_arg0(R_0021_0017__HAS_R_0021_0018__SAID,R_0021_0014__THE_R_0021_0015__PRIME_R_0021_0016__MINISTER) ) ).
n21_a_major_case
n21_a_major_case__1_1_1
<ldquo>
n21_a_major_case__1_2_1_1_1
Mr
n21_a_major_case__1_2_1_2_1
David
n21_a_major_case__1_2_1_3_1
Gauke
n21_a_major_case__1_2_1_4_1_1
-LRB-
n21_a_major_case__1_2_1_4_2_1_1
South
n21_a_major_case__1_2_1_4_2_2_1
West
n21_a_major_case__1_2_1_4_2_3_1
Hertfordshire
n21_a_major_case__1_2_1_4_3_1
-RRB-
n21_a_major_case__1_2_1_5_1_1
-LRB-
n21_a_major_case__1_2_1_5_2_1_1
Ind
n21_a_major_case__1_2_1_5_3_1
-RRB-
n21_a_major_case__1_2_2_1
:
n21_a_major_case__1_3_1_1
The
n21_a_major_case__1_3_2_1
Prime
n21_a_major_case__1_3_3_1
Minister
n21_a_major_case__1_4_1
has
n21_a_major_case__1_5_1_1
said
n21_a_major_case__1_5_2_1_1_1
that
n21_a_major_case__1_5_2_1_2_1_1
the
n21_a_major_case__1_5_2_1_2_2_1
Prorogation
n21_a_major_case__1_5_2_1_2_3_1_1
of
n21_a_major_case__1_5_2_1_2_3_2_1_1
Parliament
n21_a_major_case__1_5_2_1_3_1
is
n21_a_major_case__1_5_2_1_4_1_1
nothing
n21_a_major_case__1_5_2_1_4_2_1_1
*T*
n21_a_major_case__1_5_2_1_4_2_2_1
to
n21_a_major_case__1_5_2_1_4_2_3_1
do
n21_a_major_case__1_5_2_1_4_2_4_1_1
with
n21_a_major_case__1_5_2_1_4_2_4_2_1_1
Brexit
n21_a_major_case__1_6_1
.
n21_a_major_case__1
IP-MAT
n21_a_major_case__1_1
PULQ
n21_a_major_case__1->n21_a_major_case__1_1
n21_a_major_case__1_2
META
n21_a_major_case__1->n21_a_major_case__1_2
n21_a_major_case__1_3
NP-SBJ
n21_a_major_case__1->n21_a_major_case__1_3
n21_a_major_case__1_4
HVP;_cat_Ve_
n21_a_major_case__1->n21_a_major_case__1_4
n21_a_major_case__1_5
IP-PPL-CAT
n21_a_major_case__1->n21_a_major_case__1_5
n21_a_major_case__1_6
PUNC
n21_a_major_case__1->n21_a_major_case__1_6
n21_a_major_case__1_1->n21_a_major_case__1_1_1
n21_a_major_case__1_2_1
NP
n21_a_major_case__1_2->n21_a_major_case__1_2_1
n21_a_major_case__1_2_2
PUNC
n21_a_major_case__1_2->n21_a_major_case__1_2_2
n21_a_major_case__1_2_1_1
N
n21_a_major_case__1_2_1->n21_a_major_case__1_2_1_1
n21_a_major_case__1_2_1_2
NPR
n21_a_major_case__1_2_1->n21_a_major_case__1_2_1_2
n21_a_major_case__1_2_1_3
NPR
n21_a_major_case__1_2_1->n21_a_major_case__1_2_1_3
n21_a_major_case__1_2_1_4
IP-PPL
n21_a_major_case__1_2_1->n21_a_major_case__1_2_1_4
n21_a_major_case__1_2_1_5
IP-PPL
n21_a_major_case__1_2_1->n21_a_major_case__1_2_1_5
n21_a_major_case__1_2_1_1->n21_a_major_case__1_2_1_1_1
n21_a_major_case__1_2_1_2->n21_a_major_case__1_2_1_2_1
n21_a_major_case__1_2_1_3->n21_a_major_case__1_2_1_3_1
n21_a_major_case__1_2_1_4_1
PULB
n21_a_major_case__1_2_1_4->n21_a_major_case__1_2_1_4_1
n21_a_major_case__1_2_1_4_2
NP-PRD
n21_a_major_case__1_2_1_4->n21_a_major_case__1_2_1_4_2
n21_a_major_case__1_2_1_4_3
PURB
n21_a_major_case__1_2_1_4->n21_a_major_case__1_2_1_4_3
n21_a_major_case__1_2_1_4_1->n21_a_major_case__1_2_1_4_1_1
n21_a_major_case__1_2_1_4_2_1
NPR
n21_a_major_case__1_2_1_4_2->n21_a_major_case__1_2_1_4_2_1
n21_a_major_case__1_2_1_4_2_2
NPR
n21_a_major_case__1_2_1_4_2->n21_a_major_case__1_2_1_4_2_2
n21_a_major_case__1_2_1_4_2_3
NPR
n21_a_major_case__1_2_1_4_2->n21_a_major_case__1_2_1_4_2_3
n21_a_major_case__1_2_1_4_2_1->n21_a_major_case__1_2_1_4_2_1_1
n21_a_major_case__1_2_1_4_2_2->n21_a_major_case__1_2_1_4_2_2_1
n21_a_major_case__1_2_1_4_2_3->n21_a_major_case__1_2_1_4_2_3_1
n21_a_major_case__1_2_1_4_3->n21_a_major_case__1_2_1_4_3_1
n21_a_major_case__1_2_1_5_1
PULB
n21_a_major_case__1_2_1_5->n21_a_major_case__1_2_1_5_1
n21_a_major_case__1_2_1_5_2
NP-PRD
n21_a_major_case__1_2_1_5->n21_a_major_case__1_2_1_5_2
n21_a_major_case__1_2_1_5_3
PURB
n21_a_major_case__1_2_1_5->n21_a_major_case__1_2_1_5_3
n21_a_major_case__1_2_1_5_1->n21_a_major_case__1_2_1_5_1_1
n21_a_major_case__1_2_1_5_2_1
NPR
n21_a_major_case__1_2_1_5_2->n21_a_major_case__1_2_1_5_2_1
n21_a_major_case__1_2_1_5_2_1->n21_a_major_case__1_2_1_5_2_1_1
n21_a_major_case__1_2_1_5_3->n21_a_major_case__1_2_1_5_3_1
n21_a_major_case__1_2_2->n21_a_major_case__1_2_2_1
n21_a_major_case__1_3_1
D
n21_a_major_case__1_3->n21_a_major_case__1_3_1
n21_a_major_case__1_3_2
NPR
n21_a_major_case__1_3->n21_a_major_case__1_3_2
n21_a_major_case__1_3_3
NPR
n21_a_major_case__1_3->n21_a_major_case__1_3_3
n21_a_major_case__1_3_1->n21_a_major_case__1_3_1_1
n21_a_major_case__1_3_2->n21_a_major_case__1_3_2_1
n21_a_major_case__1_3_3->n21_a_major_case__1_3_3_1
n21_a_major_case__1_4->n21_a_major_case__1_4_1
n21_a_major_case__1_5_1
VVN;__
n21_a_major_case__1_5->n21_a_major_case__1_5_1
n21_a_major_case__1_5_2
CP-THT-OB1
n21_a_major_case__1_5->n21_a_major_case__1_5_2
n21_a_major_case__1_5_1->n21_a_major_case__1_5_1_1
n21_a_major_case__1_5_2_1
IP-SUB
n21_a_major_case__1_5_2->n21_a_major_case__1_5_2_1
n21_a_major_case__1_5_2_1_1
C
n21_a_major_case__1_5_2_1->n21_a_major_case__1_5_2_1_1
n21_a_major_case__1_5_2_1_2
NP-SBJ
n21_a_major_case__1_5_2_1->n21_a_major_case__1_5_2_1_2
n21_a_major_case__1_5_2_1_3
BEP;_Ln_
n21_a_major_case__1_5_2_1->n21_a_major_case__1_5_2_1_3
n21_a_major_case__1_5_2_1_4
NP-PRD
n21_a_major_case__1_5_2_1->n21_a_major_case__1_5_2_1_4
n21_a_major_case__1_5_2_1_1->n21_a_major_case__1_5_2_1_1_1
n21_a_major_case__1_5_2_1_2_1
D
n21_a_major_case__1_5_2_1_2->n21_a_major_case__1_5_2_1_2_1
n21_a_major_case__1_5_2_1_2_2
N
n21_a_major_case__1_5_2_1_2->n21_a_major_case__1_5_2_1_2_2
n21_a_major_case__1_5_2_1_2_3
PP
n21_a_major_case__1_5_2_1_2->n21_a_major_case__1_5_2_1_2_3
n21_a_major_case__1_5_2_1_2_1->n21_a_major_case__1_5_2_1_2_1_1
n21_a_major_case__1_5_2_1_2_2->n21_a_major_case__1_5_2_1_2_2_1
n21_a_major_case__1_5_2_1_2_3_1
P-ROLE
n21_a_major_case__1_5_2_1_2_3->n21_a_major_case__1_5_2_1_2_3_1
n21_a_major_case__1_5_2_1_2_3_2
NP
n21_a_major_case__1_5_2_1_2_3->n21_a_major_case__1_5_2_1_2_3_2
n21_a_major_case__1_5_2_1_2_3_1->n21_a_major_case__1_5_2_1_2_3_1_1
n21_a_major_case__1_5_2_1_2_3_2_1
NPR
n21_a_major_case__1_5_2_1_2_3_2->n21_a_major_case__1_5_2_1_2_3_2_1
n21_a_major_case__1_5_2_1_2_3_2_1->n21_a_major_case__1_5_2_1_2_3_2_1_1
n21_a_major_case__1_5_2_1_3->n21_a_major_case__1_5_2_1_3_1
n21_a_major_case__1_5_2_1_4_1
Q;_nphd_
n21_a_major_case__1_5_2_1_4->n21_a_major_case__1_5_2_1_4_1
n21_a_major_case__1_5_2_1_4_2
IP-INF-REL
n21_a_major_case__1_5_2_1_4->n21_a_major_case__1_5_2_1_4_2
n21_a_major_case__1_5_2_1_4_1->n21_a_major_case__1_5_2_1_4_1_1
n21_a_major_case__1_5_2_1_4_2_1
NP-SBJ
n21_a_major_case__1_5_2_1_4_2->n21_a_major_case__1_5_2_1_4_2_1
n21_a_major_case__1_5_2_1_4_2_2
TO
n21_a_major_case__1_5_2_1_4_2->n21_a_major_case__1_5_2_1_4_2_2
n21_a_major_case__1_5_2_1_4_2_3
DO;_Ipr_
n21_a_major_case__1_5_2_1_4_2->n21_a_major_case__1_5_2_1_4_2_3
n21_a_major_case__1_5_2_1_4_2_4
PP-CLR
n21_a_major_case__1_5_2_1_4_2->n21_a_major_case__1_5_2_1_4_2_4
n21_a_major_case__1_5_2_1_4_2_1->n21_a_major_case__1_5_2_1_4_2_1_1
n21_a_major_case__1_5_2_1_4_2_2->n21_a_major_case__1_5_2_1_4_2_2_1
n21_a_major_case__1_5_2_1_4_2_3->n21_a_major_case__1_5_2_1_4_2_3_1
n21_a_major_case__1_5_2_1_4_2_4_1
P-ROLE
n21_a_major_case__1_5_2_1_4_2_4->n21_a_major_case__1_5_2_1_4_2_4_1
n21_a_major_case__1_5_2_1_4_2_4_2
NP
n21_a_major_case__1_5_2_1_4_2_4->n21_a_major_case__1_5_2_1_4_2_4_2
n21_a_major_case__1_5_2_1_4_2_4_1->n21_a_major_case__1_5_2_1_4_2_4_1_1
n21_a_major_case__1_5_2_1_4_2_4_2_1
NPR
n21_a_major_case__1_5_2_1_4_2_4_2->n21_a_major_case__1_5_2_1_4_2_4_2_1
n21_a_major_case__1_5_2_1_4_2_4_2_1->n21_a_major_case__1_5_2_1_4_2_4_2_1_1
n21_a_major_case__1_6->n21_a_major_case__1_6_1
( (IP-MAT (PULQ <ldquo>)
(META (NP (N Mr;{mr})
(NPR David;{David})
(NPR Gauke;{Gauke})
(IP-PPL (PULB -LRB-)
(NP-PRD (NPR South;{South})
(NPR West;{West})
(NPR Hertfordshire;{Hertfordshire}))
(PURB -RRB-))
(IP-PPL (PULB -LRB-)
(NP-PRD (NPR Ind;{Ind}))
(PURB -RRB-)))
(PUNC :))
(NP-SBJ;{JOHNSON} (D The;{the})
(NPR Prime;{Prime})
(NPR Minister;{Minister}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;__ said;{say})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (D the;{the})
(N Prorogation;{prorogation})
(PP (P-ROLE of;{of})
(NP (NPR Parliament;{Parliament}))))
(BEP;_Ln_ is;{be})
(NP-PRD (Q;_nphd_ nothing;{nothing})
(IP-INF-REL (NP-SBJ *T*)
(TO to;{to})
(DO;_Ipr_ do;{do[with]})
(PP-CLR (P-ROLE with;{with})
(NP (NPR Brexit;{Brexit}))))))))
(PUNC .))
(ID 21_a_major_case))