44_a_major_case
%3
r_0044_0002__would
would
r_0044_0004__be
be
r_0044_0002__would->r_0044_0004__be
[scope]
r_0044_0003__also
also
r_0044_0004__be->r_0044_0003__also
[nim]
r_0044_0005__wrong
wrong
r_0044_0004__be->r_0044_0005__wrong
[prd]
r_0044_0006__to_r_0044_0007__proceed
to proceed
r_0044_0004__be->r_0044_0006__to_r_0044_0007__proceed
[arg0]
r_0044_0009__that_r_0044_0010__basis
that basis
r_0044_0006__to_r_0044_0007__proceed->r_0044_0009__that_r_0044_0010__basis
on [nim]
z_000_44_a_major_case_2
r_0044_0006__to_r_0044_0007__proceed->z_000_44_a_major_case_2
[arg0]
r_0044_0012__because
because
r_0044_0012__because->r_0044_0002__would
[scope]
r_0044_0014__would
would
r_0044_0012__because->r_0044_0014__would
[restriction]
r_0044_0015__mean
mean
r_0044_0014__would->r_0044_0015__mean
[scope]
r_0044_0015__mean->r_0044_0006__to_r_0044_0007__proceed
[arg0]
r_0044_0027__not
not
r_0044_0015__mean->r_0044_0027__not
[arg1]
r_0044_0016__that_r_0044_0026__would
that would
r_0044_0027__not->r_0044_0016__that_r_0044_0026__would
[keep_scope]
r_0044_0028__be
be
r_0044_0016__that_r_0044_0026__would->r_0044_0028__be
[scope]
r_0044_0029__resolved
resolved
r_0044_0028__be->r_0044_0029__resolved
[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_0020__that_r_0044_0021__has
that has
r_0044_0022__arisen
arisen
r_0044_0020__that_r_0044_0021__has->r_0044_0022__arisen
[scope]
r_0044_0022__arisen->r_0044_0017__the_r_0044_0019__issue
[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_0029__resolved->r_0044_0017__the_r_0044_0019__issue
[arg1]
z_000_44_a_major_case_81
r_0044_0029__resolved->z_000_44_a_major_case_81
[arg0]
arc(r_0044_0002__would, r_0044_0004__be, scope).
arc(r_0044_0004__be, r_0044_0003__also, nim8).
arc(r_0044_0004__be, r_0044_0005__wrong, prd).
arc(r_0044_0004__be, r_0044_0006__to_r_0044_0007__proceed, arg0).
arc(r_0044_0006__to_r_0044_0007__proceed, r_0044_0009__that_r_0044_0010__basis, r_0044_0008__on_nim24).
arc(r_0044_0006__to_r_0044_0007__proceed, z_000_44_a_major_case_2, 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_0006__to_r_0044_0007__proceed, arg0).
arc(r_0044_0015__mean, r_0044_0027__not, arg1).
arc(r_0044_0016__that_r_0044_0026__would, r_0044_0028__be, scope).
arc(r_0044_0017__the_r_0044_0019__issue, r_0044_0018__real, attrib50).
arc(r_0044_0020__that_r_0044_0021__has, r_0044_0022__arisen, scope).
arc(r_0044_0022__arisen, r_0044_0017__the_r_0044_0019__issue, arg0).
arc(r_0044_0022__arisen, r_0044_0024__the_r_0044_0025__facts, r_0044_0023__on_nim68).
arc(r_0044_0027__not, r_0044_0016__that_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_000_44_a_major_case_81, 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_0006__to_r_0044_0007__proceed
to proceed
r_0044_0002__would_r_0044_0004__be->r_0044_0006__to_r_0044_0007__proceed
[arg0]
r_0044_0009__that_r_0044_0010__basis
that basis
r_0044_0006__to_r_0044_0007__proceed->r_0044_0009__that_r_0044_0010__basis
on [nim]
z_000_44_a_major_case_2
r_0044_0006__to_r_0044_0007__proceed->z_000_44_a_major_case_2
[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_0006__to_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_0016__that_r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved
that would be resolved
r_0044_0027__not->r_0044_0016__that_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_0016__that_r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved->r_0044_0017__the_r_0044_0019__issue
[arg1]
z_000_44_a_major_case_81
r_0044_0016__that_r_0044_0026__would_r_0044_0028__be_r_0044_0029__resolved->z_000_44_a_major_case_81
[arg0]
r_0044_0018__real
real
r_0044_0017__the_r_0044_0019__issue->r_0044_0018__real
[attrib]
r_0044_0020__that_r_0044_0021__has_r_0044_0022__arisen
that has arisen
r_0044_0020__that_r_0044_0021__has_r_0044_0022__arisen->r_0044_0017__the_r_0044_0019__issue
[arg0]
r_0044_0024__the_r_0044_0025__facts
the facts
r_0044_0020__that_r_0044_0021__has_r_0044_0022__arisen->r_0044_0024__the_r_0044_0025__facts
on [nim]
fof(formula,axiom,
? [R_44_12_BECAUSE,R_44_14_WOULD_MEAN,R_44_2_WOULD_BE,R_44_6_TO_PROCEED,Z_44_A_MAJOR_CASE_2,R_44_9_THAT_BASIS,R_44_3_ALSO,R_44_5_WRONG,R_44_20_THAT_HAS_ARISEN,R_44_17_THE_ISSUE,R_44_18_REAL,R_44_24_THE_FACTS] :
( that_basis(R_44_9_THAT_BASIS)
& also(R_44_3_ALSO)
& wrong(R_44_5_WRONG)
& real(R_44_18_REAL)
& the_facts(R_44_24_THE_FACTS)
& because(R_44_12_BECAUSE)
& conj1(R_44_12_BECAUSE,R_44_14_WOULD_MEAN)
& would_mean(R_44_14_WOULD_MEAN,R_44_6_TO_PROCEED,R_44_27_NOT)
& to_proceed(R_44_6_TO_PROCEED,Z_44_A_MAJOR_CASE_2)
& on_nim24(R_44_6_TO_PROCEED,R_44_9_THAT_BASIS)
& ~ ? [R_44_16_THAT_WOULD_BE_RESOLVED,Z_44_A_MAJOR_CASE_81] : that_would_be_resolved(R_44_16_THAT_WOULD_BE_RESOLVED,Z_44_A_MAJOR_CASE_81,R_44_17_THE_ISSUE)
& conj2(R_44_12_BECAUSE,R_44_2_WOULD_BE)
& would_be(R_44_2_WOULD_BE,R_44_6_TO_PROCEED,R_44_5_WRONG)
& nim8(R_44_2_WOULD_BE,R_44_3_ALSO)
& that_has_arisen(R_44_20_THAT_HAS_ARISEN,R_44_17_THE_ISSUE)
& the_issue(R_44_17_THE_ISSUE)
& attrib50(R_44_17_THE_ISSUE,R_44_18_REAL)
& on_nim68(R_44_20_THAT_HAS_ARISEN,R_44_24_THE_FACTS) ) ).
n44_a_major_case
n44_a_major_case_4
It
n44_a_major_case_6
would
n44_a_major_case_10
also
n44_a_major_case_12
be
n44_a_major_case_15
wrong
n44_a_major_case_18
to
n44_a_major_case_20
proceed
n44_a_major_case_23
on
n44_a_major_case_26
that
n44_a_major_case_28
basis
n44_a_major_case_30
,
n44_a_major_case_33
because
n44_a_major_case_37
it
n44_a_major_case_39
would
n44_a_major_case_42
mean
n44_a_major_case_46
that
n44_a_major_case_49
the
n44_a_major_case_52
real
n44_a_major_case_54
issue
n44_a_major_case_57
that
n44_a_major_case_59
*T*
n44_a_major_case_61
has
n44_a_major_case_64
arisen
n44_a_major_case_67
on
n44_a_major_case_70
the
n44_a_major_case_72
facts
n44_a_major_case_74
would
n44_a_major_case_76
not
n44_a_major_case_79
be
n44_a_major_case_82
*
n44_a_major_case_84
resolved
n44_a_major_case_86
.
n44_a_major_case_1
IP-MAT
n44_a_major_case_2
NP-SBJ
n44_a_major_case_1->n44_a_major_case_2
n44_a_major_case_5
MD;_cat_Vi_
n44_a_major_case_1->n44_a_major_case_5
n44_a_major_case_7
IP-INF-CAT
n44_a_major_case_1->n44_a_major_case_7
n44_a_major_case_29
PUNC
n44_a_major_case_1->n44_a_major_case_29
n44_a_major_case_31
PP-SCON
n44_a_major_case_1->n44_a_major_case_31
n44_a_major_case_85
PUNC
n44_a_major_case_1->n44_a_major_case_85
n44_a_major_case_3
PRO;_provisional_
n44_a_major_case_2->n44_a_major_case_3
n44_a_major_case_3->n44_a_major_case_4
n44_a_major_case_5->n44_a_major_case_6
n44_a_major_case_8
ADVP-NIM
n44_a_major_case_7->n44_a_major_case_8
n44_a_major_case_11
BE;_La_
n44_a_major_case_7->n44_a_major_case_11
n44_a_major_case_13
ADJP-PRD
n44_a_major_case_7->n44_a_major_case_13
n44_a_major_case_16
IP-INF-NSBJ
n44_a_major_case_7->n44_a_major_case_16
n44_a_major_case_9
ADV
n44_a_major_case_8->n44_a_major_case_9
n44_a_major_case_9->n44_a_major_case_10
n44_a_major_case_11->n44_a_major_case_12
n44_a_major_case_14
ADJ
n44_a_major_case_13->n44_a_major_case_14
n44_a_major_case_14->n44_a_major_case_15
n44_a_major_case_17
TO
n44_a_major_case_16->n44_a_major_case_17
n44_a_major_case_19
VB;__
n44_a_major_case_16->n44_a_major_case_19
n44_a_major_case_21
PP-NIM
n44_a_major_case_16->n44_a_major_case_21
n44_a_major_case_17->n44_a_major_case_18
n44_a_major_case_19->n44_a_major_case_20
n44_a_major_case_22
P-ROLE
n44_a_major_case_21->n44_a_major_case_22
n44_a_major_case_24
NP
n44_a_major_case_21->n44_a_major_case_24
n44_a_major_case_22->n44_a_major_case_23
n44_a_major_case_25
D
n44_a_major_case_24->n44_a_major_case_25
n44_a_major_case_27
N
n44_a_major_case_24->n44_a_major_case_27
n44_a_major_case_25->n44_a_major_case_26
n44_a_major_case_27->n44_a_major_case_28
n44_a_major_case_29->n44_a_major_case_30
n44_a_major_case_32
P-CONN
n44_a_major_case_31->n44_a_major_case_32
n44_a_major_case_34
IP-ADV
n44_a_major_case_31->n44_a_major_case_34
n44_a_major_case_32->n44_a_major_case_33
n44_a_major_case_35
NP-SBJ
n44_a_major_case_34->n44_a_major_case_35
n44_a_major_case_38
MD;_cat_Vi_
n44_a_major_case_34->n44_a_major_case_38
n44_a_major_case_40
IP-INF-CAT
n44_a_major_case_34->n44_a_major_case_40
n44_a_major_case_36
PRO
n44_a_major_case_35->n44_a_major_case_36
n44_a_major_case_36->n44_a_major_case_37
n44_a_major_case_38->n44_a_major_case_39
n44_a_major_case_41
VB;__
n44_a_major_case_40->n44_a_major_case_41
n44_a_major_case_43
CP-THT-OB1
n44_a_major_case_40->n44_a_major_case_43
n44_a_major_case_41->n44_a_major_case_42
n44_a_major_case_44
IP-SUB
n44_a_major_case_43->n44_a_major_case_44
n44_a_major_case_45
C
n44_a_major_case_44->n44_a_major_case_45
n44_a_major_case_47
NP-SBJ
n44_a_major_case_44->n44_a_major_case_47
n44_a_major_case_73
MD;_cat_Vi_
n44_a_major_case_44->n44_a_major_case_73
n44_a_major_case_75
NEG
n44_a_major_case_44->n44_a_major_case_75
n44_a_major_case_77
IP-INF-CAT
n44_a_major_case_44->n44_a_major_case_77
n44_a_major_case_45->n44_a_major_case_46
n44_a_major_case_48
D
n44_a_major_case_47->n44_a_major_case_48
n44_a_major_case_50
ADJP
n44_a_major_case_47->n44_a_major_case_50
n44_a_major_case_53
N
n44_a_major_case_47->n44_a_major_case_53
n44_a_major_case_55
IP-REL
n44_a_major_case_47->n44_a_major_case_55
n44_a_major_case_48->n44_a_major_case_49
n44_a_major_case_51
ADJ
n44_a_major_case_50->n44_a_major_case_51
n44_a_major_case_51->n44_a_major_case_52
n44_a_major_case_53->n44_a_major_case_54
n44_a_major_case_56
C
n44_a_major_case_55->n44_a_major_case_56
n44_a_major_case_58
NP-SBJ
n44_a_major_case_55->n44_a_major_case_58
n44_a_major_case_60
HVP;_cat_Ve_
n44_a_major_case_55->n44_a_major_case_60
n44_a_major_case_62
IP-PPL-CAT
n44_a_major_case_55->n44_a_major_case_62
n44_a_major_case_56->n44_a_major_case_57
n44_a_major_case_58->n44_a_major_case_59
n44_a_major_case_60->n44_a_major_case_61
n44_a_major_case_63
VVN;__
n44_a_major_case_62->n44_a_major_case_63
n44_a_major_case_65
PP-NIM
n44_a_major_case_62->n44_a_major_case_65
n44_a_major_case_63->n44_a_major_case_64
n44_a_major_case_66
P-ROLE
n44_a_major_case_65->n44_a_major_case_66
n44_a_major_case_68
NP
n44_a_major_case_65->n44_a_major_case_68
n44_a_major_case_66->n44_a_major_case_67
n44_a_major_case_69
D
n44_a_major_case_68->n44_a_major_case_69
n44_a_major_case_71
NS
n44_a_major_case_68->n44_a_major_case_71
n44_a_major_case_69->n44_a_major_case_70
n44_a_major_case_71->n44_a_major_case_72
n44_a_major_case_73->n44_a_major_case_74
n44_a_major_case_75->n44_a_major_case_76
n44_a_major_case_78
BE;_cat_VePASS_
n44_a_major_case_77->n44_a_major_case_78
n44_a_major_case_80
IP-PPL-CAT
n44_a_major_case_77->n44_a_major_case_80
n44_a_major_case_78->n44_a_major_case_79
n44_a_major_case_81
NP-LGS
n44_a_major_case_80->n44_a_major_case_81
n44_a_major_case_83
VVN;__
n44_a_major_case_80->n44_a_major_case_83
n44_a_major_case_81->n44_a_major_case_82
n44_a_major_case_83->n44_a_major_case_84
n44_a_major_case_85->n44_a_major_case_86
( (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))