44_a_major_case
It would also be wrong to proceed on that basis, because it would mean that the real issue that has arisen on the facts would not be resolved.
n44_a_major_case
n44_a_major_case__1_1_1_1
It
n44_a_major_case__1_2_1
would
n44_a_major_case__1_3_1_1_1
also
n44_a_major_case__1_3_2_1
be
n44_a_major_case__1_3_3_1_1
wrong
n44_a_major_case__1_3_4_1_1
to
n44_a_major_case__1_3_4_2_1
proceed
n44_a_major_case__1_3_4_3_1_1
on
n44_a_major_case__1_3_4_3_2_1_1
that
n44_a_major_case__1_3_4_3_2_2_1
basis
n44_a_major_case__1_4_1
,
n44_a_major_case__1_5_1_1
because
n44_a_major_case__1_5_2_1_1_1
it
n44_a_major_case__1_5_2_2_1
would
n44_a_major_case__1_5_2_3_1_1
mean
n44_a_major_case__1_5_2_3_2_1_1_1
that
n44_a_major_case__1_5_2_3_2_1_2_1_1
the
n44_a_major_case__1_5_2_3_2_1_2_2_1_1
real
n44_a_major_case__1_5_2_3_2_1_2_3_1
issue
n44_a_major_case__1_5_2_3_2_1_2_4_1_1
that
n44_a_major_case__1_5_2_3_2_1_2_4_2_1
*T*
n44_a_major_case__1_5_2_3_2_1_2_4_3_1
has
n44_a_major_case__1_5_2_3_2_1_2_4_4_1_1
arisen
n44_a_major_case__1_5_2_3_2_1_2_4_4_2_1_1
on
n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_1_1
the
n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_2_1
facts
n44_a_major_case__1_5_2_3_2_1_3_1
would
n44_a_major_case__1_5_2_3_2_1_4_1
not
n44_a_major_case__1_5_2_3_2_1_5_1_1
be
n44_a_major_case__1_5_2_3_2_1_5_2_1_1
*
n44_a_major_case__1_5_2_3_2_1_5_2_2_1
resolved
n44_a_major_case__1_6_1
.
n44_a_major_case__1
IP-MAT
n44_a_major_case__1_1
NP-SBJ
n44_a_major_case__1->n44_a_major_case__1_1
n44_a_major_case__1_2
MD;_cat_Vi_
n44_a_major_case__1->n44_a_major_case__1_2
n44_a_major_case__1_3
IP-INF-CAT
n44_a_major_case__1->n44_a_major_case__1_3
n44_a_major_case__1_4
PUNC
n44_a_major_case__1->n44_a_major_case__1_4
n44_a_major_case__1_5
PP-SCON
n44_a_major_case__1->n44_a_major_case__1_5
n44_a_major_case__1_6
PUNC
n44_a_major_case__1->n44_a_major_case__1_6
n44_a_major_case__1_1_1
PRO;_provisional_
n44_a_major_case__1_1->n44_a_major_case__1_1_1
n44_a_major_case__1_1_1->n44_a_major_case__1_1_1_1
n44_a_major_case__1_2->n44_a_major_case__1_2_1
n44_a_major_case__1_3_1
ADVP-NIM
n44_a_major_case__1_3->n44_a_major_case__1_3_1
n44_a_major_case__1_3_2
BE;_La_
n44_a_major_case__1_3->n44_a_major_case__1_3_2
n44_a_major_case__1_3_3
ADJP-PRD
n44_a_major_case__1_3->n44_a_major_case__1_3_3
n44_a_major_case__1_3_4
IP-INF-NSBJ
n44_a_major_case__1_3->n44_a_major_case__1_3_4
n44_a_major_case__1_3_1_1
ADV
n44_a_major_case__1_3_1->n44_a_major_case__1_3_1_1
n44_a_major_case__1_3_1_1->n44_a_major_case__1_3_1_1_1
n44_a_major_case__1_3_2->n44_a_major_case__1_3_2_1
n44_a_major_case__1_3_3_1
ADJ
n44_a_major_case__1_3_3->n44_a_major_case__1_3_3_1
n44_a_major_case__1_3_3_1->n44_a_major_case__1_3_3_1_1
n44_a_major_case__1_3_4_1
TO
n44_a_major_case__1_3_4->n44_a_major_case__1_3_4_1
n44_a_major_case__1_3_4_2
VB;__
n44_a_major_case__1_3_4->n44_a_major_case__1_3_4_2
n44_a_major_case__1_3_4_3
PP-NIM
n44_a_major_case__1_3_4->n44_a_major_case__1_3_4_3
n44_a_major_case__1_3_4_1->n44_a_major_case__1_3_4_1_1
n44_a_major_case__1_3_4_2->n44_a_major_case__1_3_4_2_1
n44_a_major_case__1_3_4_3_1
P-ROLE
n44_a_major_case__1_3_4_3->n44_a_major_case__1_3_4_3_1
n44_a_major_case__1_3_4_3_2
NP
n44_a_major_case__1_3_4_3->n44_a_major_case__1_3_4_3_2
n44_a_major_case__1_3_4_3_1->n44_a_major_case__1_3_4_3_1_1
n44_a_major_case__1_3_4_3_2_1
D
n44_a_major_case__1_3_4_3_2->n44_a_major_case__1_3_4_3_2_1
n44_a_major_case__1_3_4_3_2_2
N
n44_a_major_case__1_3_4_3_2->n44_a_major_case__1_3_4_3_2_2
n44_a_major_case__1_3_4_3_2_1->n44_a_major_case__1_3_4_3_2_1_1
n44_a_major_case__1_3_4_3_2_2->n44_a_major_case__1_3_4_3_2_2_1
n44_a_major_case__1_4->n44_a_major_case__1_4_1
n44_a_major_case__1_5_1
P-CONN
n44_a_major_case__1_5->n44_a_major_case__1_5_1
n44_a_major_case__1_5_2
IP-ADV
n44_a_major_case__1_5->n44_a_major_case__1_5_2
n44_a_major_case__1_5_1->n44_a_major_case__1_5_1_1
n44_a_major_case__1_5_2_1
NP-SBJ
n44_a_major_case__1_5_2->n44_a_major_case__1_5_2_1
n44_a_major_case__1_5_2_2
MD;_cat_Vi_
n44_a_major_case__1_5_2->n44_a_major_case__1_5_2_2
n44_a_major_case__1_5_2_3
IP-INF-CAT
n44_a_major_case__1_5_2->n44_a_major_case__1_5_2_3
n44_a_major_case__1_5_2_1_1
PRO
n44_a_major_case__1_5_2_1->n44_a_major_case__1_5_2_1_1
n44_a_major_case__1_5_2_1_1->n44_a_major_case__1_5_2_1_1_1
n44_a_major_case__1_5_2_2->n44_a_major_case__1_5_2_2_1
n44_a_major_case__1_5_2_3_1
VB;__
n44_a_major_case__1_5_2_3->n44_a_major_case__1_5_2_3_1
n44_a_major_case__1_5_2_3_2
CP-THT-OB1
n44_a_major_case__1_5_2_3->n44_a_major_case__1_5_2_3_2
n44_a_major_case__1_5_2_3_1->n44_a_major_case__1_5_2_3_1_1
n44_a_major_case__1_5_2_3_2_1
IP-SUB
n44_a_major_case__1_5_2_3_2->n44_a_major_case__1_5_2_3_2_1
n44_a_major_case__1_5_2_3_2_1_1
C
n44_a_major_case__1_5_2_3_2_1->n44_a_major_case__1_5_2_3_2_1_1
n44_a_major_case__1_5_2_3_2_1_2
NP-SBJ
n44_a_major_case__1_5_2_3_2_1->n44_a_major_case__1_5_2_3_2_1_2
n44_a_major_case__1_5_2_3_2_1_3
MD;_cat_Vi_
n44_a_major_case__1_5_2_3_2_1->n44_a_major_case__1_5_2_3_2_1_3
n44_a_major_case__1_5_2_3_2_1_4
NEG
n44_a_major_case__1_5_2_3_2_1->n44_a_major_case__1_5_2_3_2_1_4
n44_a_major_case__1_5_2_3_2_1_5
IP-INF-CAT
n44_a_major_case__1_5_2_3_2_1->n44_a_major_case__1_5_2_3_2_1_5
n44_a_major_case__1_5_2_3_2_1_1->n44_a_major_case__1_5_2_3_2_1_1_1
n44_a_major_case__1_5_2_3_2_1_2_1
D
n44_a_major_case__1_5_2_3_2_1_2->n44_a_major_case__1_5_2_3_2_1_2_1
n44_a_major_case__1_5_2_3_2_1_2_2
ADJP
n44_a_major_case__1_5_2_3_2_1_2->n44_a_major_case__1_5_2_3_2_1_2_2
n44_a_major_case__1_5_2_3_2_1_2_3
N
n44_a_major_case__1_5_2_3_2_1_2->n44_a_major_case__1_5_2_3_2_1_2_3
n44_a_major_case__1_5_2_3_2_1_2_4
IP-REL
n44_a_major_case__1_5_2_3_2_1_2->n44_a_major_case__1_5_2_3_2_1_2_4
n44_a_major_case__1_5_2_3_2_1_2_1->n44_a_major_case__1_5_2_3_2_1_2_1_1
n44_a_major_case__1_5_2_3_2_1_2_2_1
ADJ
n44_a_major_case__1_5_2_3_2_1_2_2->n44_a_major_case__1_5_2_3_2_1_2_2_1
n44_a_major_case__1_5_2_3_2_1_2_2_1->n44_a_major_case__1_5_2_3_2_1_2_2_1_1
n44_a_major_case__1_5_2_3_2_1_2_3->n44_a_major_case__1_5_2_3_2_1_2_3_1
n44_a_major_case__1_5_2_3_2_1_2_4_1
C
n44_a_major_case__1_5_2_3_2_1_2_4->n44_a_major_case__1_5_2_3_2_1_2_4_1
n44_a_major_case__1_5_2_3_2_1_2_4_2
NP-SBJ
n44_a_major_case__1_5_2_3_2_1_2_4->n44_a_major_case__1_5_2_3_2_1_2_4_2
n44_a_major_case__1_5_2_3_2_1_2_4_3
HVP;_cat_Ve_
n44_a_major_case__1_5_2_3_2_1_2_4->n44_a_major_case__1_5_2_3_2_1_2_4_3
n44_a_major_case__1_5_2_3_2_1_2_4_4
IP-PPL-CAT
n44_a_major_case__1_5_2_3_2_1_2_4->n44_a_major_case__1_5_2_3_2_1_2_4_4
n44_a_major_case__1_5_2_3_2_1_2_4_1->n44_a_major_case__1_5_2_3_2_1_2_4_1_1
n44_a_major_case__1_5_2_3_2_1_2_4_2->n44_a_major_case__1_5_2_3_2_1_2_4_2_1
n44_a_major_case__1_5_2_3_2_1_2_4_3->n44_a_major_case__1_5_2_3_2_1_2_4_3_1
n44_a_major_case__1_5_2_3_2_1_2_4_4_1
VVN;__
n44_a_major_case__1_5_2_3_2_1_2_4_4->n44_a_major_case__1_5_2_3_2_1_2_4_4_1
n44_a_major_case__1_5_2_3_2_1_2_4_4_2
PP-NIM
n44_a_major_case__1_5_2_3_2_1_2_4_4->n44_a_major_case__1_5_2_3_2_1_2_4_4_2
n44_a_major_case__1_5_2_3_2_1_2_4_4_1->n44_a_major_case__1_5_2_3_2_1_2_4_4_1_1
n44_a_major_case__1_5_2_3_2_1_2_4_4_2_1
P-ROLE
n44_a_major_case__1_5_2_3_2_1_2_4_4_2->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_1
n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2
NP
n44_a_major_case__1_5_2_3_2_1_2_4_4_2->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2
n44_a_major_case__1_5_2_3_2_1_2_4_4_2_1->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_1_1
n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_1
D
n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_1
n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_2
NS
n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_2
n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_1->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_1_1
n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_2->n44_a_major_case__1_5_2_3_2_1_2_4_4_2_2_2_1
n44_a_major_case__1_5_2_3_2_1_3->n44_a_major_case__1_5_2_3_2_1_3_1
n44_a_major_case__1_5_2_3_2_1_4->n44_a_major_case__1_5_2_3_2_1_4_1
n44_a_major_case__1_5_2_3_2_1_5_1
BE;_cat_VePASS_
n44_a_major_case__1_5_2_3_2_1_5->n44_a_major_case__1_5_2_3_2_1_5_1
n44_a_major_case__1_5_2_3_2_1_5_2
IP-PPL-CAT
n44_a_major_case__1_5_2_3_2_1_5->n44_a_major_case__1_5_2_3_2_1_5_2
n44_a_major_case__1_5_2_3_2_1_5_1->n44_a_major_case__1_5_2_3_2_1_5_1_1
n44_a_major_case__1_5_2_3_2_1_5_2_1
NP-LGS
n44_a_major_case__1_5_2_3_2_1_5_2->n44_a_major_case__1_5_2_3_2_1_5_2_1
n44_a_major_case__1_5_2_3_2_1_5_2_2
VVN;__
n44_a_major_case__1_5_2_3_2_1_5_2->n44_a_major_case__1_5_2_3_2_1_5_2_2
n44_a_major_case__1_5_2_3_2_1_5_2_1->n44_a_major_case__1_5_2_3_2_1_5_2_1_1
n44_a_major_case__1_5_2_3_2_1_5_2_2->n44_a_major_case__1_5_2_3_2_1_5_2_2_1
n44_a_major_case__1_6->n44_a_major_case__1_6_1
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
(MD;_cat_Vi_ would;{will})
(IP-INF-CAT (ADVP-NIM (ADV also;{also}))
(BE;_La_ be;{be})
(ADJP-PRD (ADJ wrong;{wrong}))
(IP-INF-NSBJ;{PROCEED} (TO to;{to})
(VB;__ proceed;{proceed})
(PP-NIM (P-ROLE on;{on})
(NP (D that;{that})
(N basis;{basis})))))
(PUNC ,)
(PP-SCON (P-CONN because;{because})
(IP-ADV (NP-SBJ;{PROCEED} (PRO it;{it}))
(MD;_cat_Vi_ would;{will})
(IP-INF-CAT (VB;__ mean;{mean})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (D the;{the})
(ADJP (ADJ real;{real}))
(N issue;{issue})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;__ arisen;{arise})
(PP-NIM (P-ROLE on;{on})
(NP (D the;{the})
(NS facts;{fact}))))))
(MD;_cat_Vi_ would;{will})
(NEG not;{not})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;__ resolved;{resolve}))))))))
(PUNC .))
(ID 44_a_major_case))
%3
r_0044_0029__resolved
resolved
z_0044_5016___star_
*
r_0044_0029__resolved->z_0044_5016___star_
[arg0]
r_0044_0017__the_r_0044_0019__issue
the issue
r_0044_0029__resolved->r_0044_0017__the_r_0044_0019__issue
[arg1]
r_0044_0018__real
real
r_0044_0017__the_r_0044_0019__issue->r_0044_0018__real
[attrib]
r_0044_0028__be
be
r_0044_0028__be->r_0044_0029__resolved
[scope]
r_0044_0027__not
not
r_0044_0026__would
would
r_0044_0027__not->r_0044_0026__would
[keep_scope]
r_0044_0026__would->r_0044_0028__be
[scope]
r_0044_0022__arisen
arisen
r_0044_0022__arisen->r_0044_0017__the_r_0044_0019__issue
[inv_arg0]
r_0044_0024__the_r_0044_0025__facts
the facts
r_0044_0022__arisen->r_0044_0024__the_r_0044_0025__facts
on [nim]
r_0044_0021__has
has
r_0044_0021__has->r_0044_0022__arisen
[scope]
r_0044_0015__mean
mean
r_0044_0015__mean->r_0044_0027__not
[arg1]
r_0044_0007__proceed
proceed
r_0044_0015__mean->r_0044_0007__proceed
[arg0]
z_0044_5001
r_0044_0007__proceed->z_0044_5001
[arg0]
r_0044_0009__that_r_0044_0010__basis
that basis
r_0044_0007__proceed->r_0044_0009__that_r_0044_0010__basis
on [nim]
r_0044_0014__would
would
r_0044_0014__would->r_0044_0015__mean
[scope]
r_0044_0012__because
because
r_0044_0012__because->r_0044_0014__would
[restriction]
r_0044_0002__would
would
r_0044_0012__because->r_0044_0002__would
[scope]
r_0044_0004__be
be
r_0044_0002__would->r_0044_0004__be
[scope]
r_0044_0004__be->r_0044_0007__proceed
[arg0]
r_0044_0005__wrong
wrong
r_0044_0004__be->r_0044_0005__wrong
[prd]
r_0044_0003__also
also
r_0044_0004__be->r_0044_0003__also
[nim]
arc(r_0044_0002__would,r_0044_0004__be,scope).
arc(r_0044_0004__be,r_0044_0003__also,nim).
arc(r_0044_0004__be,r_0044_0005__wrong,prd).
arc(r_0044_0004__be,r_0044_0007__proceed,arg0).
arc(r_0044_0007__proceed,r_0044_0009__that_r_0044_0010__basis,r_0044_0008__on__nim).
arc(r_0044_0007__proceed,z_0044_5001,arg0).
arc(r_0044_0012__because,r_0044_0002__would,scope).
arc(r_0044_0012__because,r_0044_0014__would,restriction).
arc(r_0044_0014__would,r_0044_0015__mean,scope).
arc(r_0044_0015__mean,r_0044_0007__proceed,arg0).
arc(r_0044_0015__mean,r_0044_0027__not,arg1).
arc(r_0044_0017__the_r_0044_0019__issue,r_0044_0018__real,attrib).
arc(r_0044_0021__has,r_0044_0022__arisen,scope).
arc(r_0044_0022__arisen,r_0044_0017__the_r_0044_0019__issue,inv_arg0).
arc(r_0044_0022__arisen,r_0044_0024__the_r_0044_0025__facts,r_0044_0023__on__nim).
arc(r_0044_0026__would,r_0044_0028__be,scope).
arc(r_0044_0027__not,r_0044_0026__would,keep_scope).
arc(r_0044_0028__be,r_0044_0029__resolved,scope).
arc(r_0044_0029__resolved,r_0044_0017__the_r_0044_0019__issue,arg1).
arc(r_0044_0029__resolved,z_0044_5016___star_,arg0).
%3
r_0044_0002__would_r_0044_0004__be
would be
r_0044_0003__also
also
r_0044_0002__would_r_0044_0004__be->r_0044_0003__also
[nim]
r_0044_0005__wrong
wrong
r_0044_0002__would_r_0044_0004__be->r_0044_0005__wrong
[prd]
r_0044_0007__proceed
proceed
r_0044_0002__would_r_0044_0004__be->r_0044_0007__proceed
[arg0]
r_0044_0009__that_r_0044_0010__basis
that basis
r_0044_0007__proceed->r_0044_0009__that_r_0044_0010__basis
on [nim]
z_0044_5001
r_0044_0007__proceed->z_0044_5001
[arg0]
r_0044_0012__because
because
r_0044_0012__because->r_0044_0002__would_r_0044_0004__be
[conj2]
r_0044_0014__would_r_0044_0015__mean
would mean
r_0044_0012__because->r_0044_0014__would_r_0044_0015__mean
[conj1]
r_0044_0014__would_r_0044_0015__mean->r_0044_0007__proceed
[arg0]
r_0044_0027__not
not
r_0044_0014__would_r_0044_0015__mean->r_0044_0027__not
[arg1]
r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved
would be resolved
r_0044_0027__not->r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved
[keep_scope]
r_0044_0017__the_r_0044_0019__issue
the issue
r_0044_0018__real
real
r_0044_0017__the_r_0044_0019__issue->r_0044_0018__real
[attrib]
r_0044_0021__has_r_0044_0022__arisen
has arisen
r_0044_0017__the_r_0044_0019__issue->r_0044_0021__has_r_0044_0022__arisen
[inv_arg0]
r_0044_0024__the_r_0044_0025__facts
the facts
r_0044_0021__has_r_0044_0022__arisen->r_0044_0024__the_r_0044_0025__facts
on [nim]
r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved->r_0044_0017__the_r_0044_0019__issue
[arg1]
z_0044_5016___star_
*
r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved->z_0044_5016___star_
[arg0]
fof(formula,axiom,
? [R_0044_0003__ALSO,R_0044_0005__WRONG,R_0044_0009__THAT_R_0044_0010__BASIS,Z_0044_5001,R_0044_0007__PROCEED,R_0044_0002__WOULD_R_0044_0004__BE,R_0044_0014__WOULD_R_0044_0015__MEAN,R_0044_0012__BECAUSE] :
( r_0044_0003__also(R_0044_0003__ALSO)
& r_0044_0005__wrong(R_0044_0005__WRONG)
& r_0044_0009__that_r_0044_0010__basis(R_0044_0009__THAT_R_0044_0010__BASIS)
& z_0044_5001(Z_0044_5001)
& r_0044_0012__because(R_0044_0012__BECAUSE)
& has_conj1(R_0044_0012__BECAUSE,R_0044_0014__WOULD_R_0044_0015__MEAN)
& r_0044_0014__would_r_0044_0015__mean(R_0044_0014__WOULD_R_0044_0015__MEAN)
& has_arg1(R_0044_0014__WOULD_R_0044_0015__MEAN,R_0044_0027__NOT)
& ~ ? [R_0044_0018__REAL,R_0044_0024__THE_R_0044_0025__FACTS,R_0044_0021__HAS_R_0044_0022__ARISEN,R_0044_0017__THE_R_0044_0019__ISSUE,Z_0044_5016___STAR_,R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED] :
( r_0044_0018__real(R_0044_0018__REAL)
& r_0044_0024__the_r_0044_0025__facts(R_0044_0024__THE_R_0044_0025__FACTS)
& z_0044_5016___star_(Z_0044_5016___STAR_)
& r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved(R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED)
& has_arg0(R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED,Z_0044_5016___STAR_)
& has_arg1(R_0044_0026__WOULD_R_0044_0028__BE_R_0044_0029__RESOLVED,R_0044_0017__THE_R_0044_0019__ISSUE)
& r_0044_0017__the_r_0044_0019__issue(R_0044_0017__THE_R_0044_0019__ISSUE)
& has_inv_arg0(R_0044_0017__THE_R_0044_0019__ISSUE,R_0044_0021__HAS_R_0044_0022__ARISEN)
& r_0044_0021__has_r_0044_0022__arisen(R_0044_0021__HAS_R_0044_0022__ARISEN)
& has_r_0044_0023__on__nim(R_0044_0021__HAS_R_0044_0022__ARISEN,R_0044_0024__THE_R_0044_0025__FACTS)
& has_attrib(R_0044_0017__THE_R_0044_0019__ISSUE,R_0044_0018__REAL) )
& has_arg0(R_0044_0014__WOULD_R_0044_0015__MEAN,R_0044_0007__PROCEED)
& r_0044_0007__proceed(R_0044_0007__PROCEED)
& has_arg0(R_0044_0007__PROCEED,Z_0044_5001)
& has_r_0044_0008__on__nim(R_0044_0007__PROCEED,R_0044_0009__THAT_R_0044_0010__BASIS)
& has_conj2(R_0044_0012__BECAUSE,R_0044_0002__WOULD_R_0044_0004__BE)
& r_0044_0002__would_r_0044_0004__be(R_0044_0002__WOULD_R_0044_0004__BE)
& has_arg0(R_0044_0002__WOULD_R_0044_0004__BE,R_0044_0007__PROCEED)
& has_prd(R_0044_0002__WOULD_R_0044_0004__BE,R_0044_0005__WRONG)
& has_nim(R_0044_0002__WOULD_R_0044_0004__BE,R_0044_0003__ALSO) ) ).