21_a_major_case
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
PRN
n21_a_major_case__1_2_1->n21_a_major_case__1_2_1_4
n21_a_major_case__1_2_1_5
PRN
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
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
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})
(PRN (PULB -LRB-)
(NP (NPR South;{South})
(NPR West;{West})
(NPR Hertfordshire;{Hertfordshire}))
(PURB -RRB-))
(PRN (PULB -LRB-)
(NP (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))
%3
r_0021_0027__do_r_0021_0028__with
do with
z_0021_5007
r_0021_0027__do_r_0021_0028__with->z_0021_5007
[inv_arg0]
r_0021_0029__Brexit
Brexit
r_0021_0027__do_r_0021_0028__with->r_0021_0029__Brexit
[arg1]
r_0021_0025__nothing__quant
nothing [quant]
r_0021_0025__nothing__quant->z_0021_5007
[restriction]
r_0021_0024__is
is
r_0021_0025__nothing__quant->r_0021_0024__is
[scope]
r_0021_0024__is->z_0021_5007
[prd]
r_0021_0020__the_r_0021_0021__Prorogation
the Prorogation
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_0018__said
said
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_0018__said->r_0021_0014__The_r_0021_0015__Prime_r_0021_0016__Minister
[arg0]
r_0021_0017__has
has
r_0021_0017__has->r_0021_0018__said
[scope]
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_0020__the_r_0021_0021__Prorogation,r_0021_0023__Parliament,r_0021_0022__of).
arc(r_0021_0024__is,r_0021_0020__the_r_0021_0021__Prorogation,arg0).
arc(r_0021_0024__is,z_0021_5007,prd).
arc(r_0021_0025__nothing__quant,r_0021_0024__is,scope).
arc(r_0021_0025__nothing__quant,z_0021_5007,restriction).
arc(r_0021_0027__do_r_0021_0028__with,r_0021_0029__Brexit,arg1).
arc(r_0021_0027__do_r_0021_0028__with,z_0021_5007,inv_arg0).
%3
r_0021_0017__has_r_0021_0018__said
has said
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]
r_0021_0025__nothing__quant
nothing [quant]
r_0021_0017__has_r_0021_0018__said->r_0021_0025__nothing__quant
[arg1]
r_0021_0024__is
is
r_0021_0025__nothing__quant->r_0021_0024__is
[scope]
z_0021_5007
r_0021_0025__nothing__quant->z_0021_5007
[restriction]
r_0021_0020__the_r_0021_0021__Prorogation
the Prorogation
r_0021_0023__Parliament
Parliament
r_0021_0020__the_r_0021_0021__Prorogation->r_0021_0023__Parliament
of
r_0021_0024__is->r_0021_0020__the_r_0021_0021__Prorogation
[arg0]
r_0021_0024__is->z_0021_5007
[prd]
r_0021_0027__do_r_0021_0028__with
do with
z_0021_5007->r_0021_0027__do_r_0021_0028__with
[inv_arg0]
r_0021_0029__Brexit
Brexit
r_0021_0027__do_r_0021_0028__with->r_0021_0029__Brexit
[arg1]
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_0021_5007,R_0021_0029__BREXIT,R_0021_0027__DO_R_0021_0028__WITH] :
( ( r_0021_0029__Brexit(R_0021_0029__BREXIT)
& z_0021_5007(Z_0021_5007)
& has_inv_arg0(Z_0021_5007,R_0021_0027__DO_R_0021_0028__WITH)
& r_0021_0027__do_r_0021_0028__with(R_0021_0027__DO_R_0021_0028__WITH)
& has_arg1(R_0021_0027__DO_R_0021_0028__WITH,R_0021_0029__BREXIT) )
=> ? [R_0021_0023__PARLIAMENT,R_0021_0020__THE_R_0021_0021__PROROGATION,R_0021_0024__IS] :
( r_0021_0023__Parliament(R_0021_0023__PARLIAMENT)
& r_0021_0024__is(R_0021_0024__IS)
& has_prd(R_0021_0024__IS,Z_0021_5007)
& has_arg0(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) ) ).