40_a_major_case
%3
r_0040_0001__If
If
r_0040_0003__is
is
r_0040_0001__If->r_0040_0003__is
[restriction]
r_0040_0010__can
can
r_0040_0001__If->r_0040_0010__can
[scope]
r_0040_0002__that
that
r_0040_0003__is->r_0040_0002__that
[arg0]
r_0040_0005__any_r_0040_0007__relevance
any relevance
r_0040_0003__is->r_0040_0005__any_r_0040_0007__relevance
of [clr]
r_0040_0012__be
be
r_0040_0010__can->r_0040_0012__be
[scope]
r_0040_0006__legal
legal
r_0040_0005__any_r_0040_0007__relevance->r_0040_0006__legal
[attrib]
r_0040_0012__be->r_0040_0003__is
[arg0]
r_0040_0011__only
only
r_0040_0012__be->r_0040_0011__only
[nim]
r_0040_0014__the_r_0040_0015__sense
the sense
r_0040_0012__be->r_0040_0014__the_r_0040_0015__sense
in [clr]
r_0040_0016__that_r_0040_0021__may
that may
r_0040_0014__the_r_0040_0015__sense->r_0040_0016__that_r_0040_0021__may
[emb]
r_0040_0022__require
require
r_0040_0016__that_r_0040_0021__may->r_0040_0022__require
[scope]
r_0040_0017__an_r_0040_0020__allegation
an allegation
r_0040_0022__require->r_0040_0017__an_r_0040_0020__allegation
[arg0]
r_0040_0025__evidence
evidence
r_0040_0022__require->r_0040_0025__evidence
[arg1]
r_0040_0019__improbable
improbable
r_0040_0017__an_r_0040_0020__allegation->r_0040_0019__improbable
[attrib]
r_0040_0018__inherently
inherently
r_0040_0019__improbable->r_0040_0018__inherently
[qual]
r_0040_0023__more
more
r_0040_0025__evidence->r_0040_0023__more
[attrib]
r_0040_0024__cogent
cogent
r_0040_0025__evidence->r_0040_0024__cogent
[attrib]
r_0040_0027__support
support
r_0040_0025__evidence->r_0040_0027__support
in
r_0040_0027__support->r_0040_0017__an_r_0040_0020__allegation
of
arc(r_0040_0001__If, r_0040_0003__is, restriction).
arc(r_0040_0001__If, r_0040_0010__can, scope).
arc(r_0040_0003__is, r_0040_0002__that, arg0).
arc(r_0040_0003__is, r_0040_0005__any_r_0040_0007__relevance, r_0040_0004__of_clr14).
arc(r_0040_0005__any_r_0040_0007__relevance, r_0040_0006__legal, attrib17).
arc(r_0040_0010__can, r_0040_0012__be, scope).
arc(r_0040_0012__be, r_0040_0003__is, arg0).
arc(r_0040_0012__be, r_0040_0011__only, nim30).
arc(r_0040_0012__be, r_0040_0014__the_r_0040_0015__sense, r_0040_0013__in_clr38).
arc(r_0040_0014__the_r_0040_0015__sense, r_0040_0016__that_r_0040_0021__may, emb44).
arc(r_0040_0016__that_r_0040_0021__may, r_0040_0022__require, scope).
arc(r_0040_0017__an_r_0040_0020__allegation, r_0040_0019__improbable, attrib50).
arc(r_0040_0019__improbable, r_0040_0018__inherently, qual51).
arc(r_0040_0022__require, r_0040_0017__an_r_0040_0020__allegation, arg0).
arc(r_0040_0022__require, r_0040_0025__evidence, arg1).
arc(r_0040_0025__evidence, r_0040_0023__more, attrib64).
arc(r_0040_0025__evidence, r_0040_0024__cogent, attrib67).
arc(r_0040_0025__evidence, r_0040_0027__support, r_0040_0026__in).
arc(r_0040_0027__support, r_0040_0017__an_r_0040_0020__allegation, r_0040_0028__of).
%3
r_0040_0027__support
support
r_0040_0017__an_r_0040_0020__allegation
an allegation
r_0040_0027__support->r_0040_0017__an_r_0040_0020__allegation
of
r_0040_0019__improbable
improbable
r_0040_0017__an_r_0040_0020__allegation->r_0040_0019__improbable
[attrib]
r_0040_0025__evidence
evidence
r_0040_0025__evidence->r_0040_0027__support
in
r_0040_0024__cogent
cogent
r_0040_0025__evidence->r_0040_0024__cogent
[attrib]
r_0040_0023__more
more
r_0040_0025__evidence->r_0040_0023__more
[attrib]
r_0040_0016__that_r_0040_0021__may_r_0040_0022__require
that may require
r_0040_0016__that_r_0040_0021__may_r_0040_0022__require->r_0040_0017__an_r_0040_0020__allegation
[arg0]
r_0040_0016__that_r_0040_0021__may_r_0040_0022__require->r_0040_0025__evidence
[arg1]
r_0040_0018__inherently
inherently
r_0040_0019__improbable->r_0040_0018__inherently
[qual]
r_0040_0014__the_r_0040_0015__sense
the sense
r_0040_0014__the_r_0040_0015__sense->r_0040_0016__that_r_0040_0021__may_r_0040_0022__require
[emb]
r_0040_0010__can_r_0040_0012__be
can be
r_0040_0010__can_r_0040_0012__be->r_0040_0014__the_r_0040_0015__sense
in [clr]
r_0040_0011__only
only
r_0040_0010__can_r_0040_0012__be->r_0040_0011__only
[nim]
r_0040_0003__is
is
r_0040_0010__can_r_0040_0012__be->r_0040_0003__is
[arg0]
r_0040_0005__any_r_0040_0007__relevance
any relevance
r_0040_0003__is->r_0040_0005__any_r_0040_0007__relevance
of [clr]
r_0040_0002__that
that
r_0040_0003__is->r_0040_0002__that
[arg0]
r_0040_0006__legal
legal
r_0040_0005__any_r_0040_0007__relevance->r_0040_0006__legal
[attrib]
r_0040_0001__If
If
r_0040_0001__If->r_0040_0010__can_r_0040_0012__be
[scope]
r_0040_0001__If->r_0040_0003__is
[restriction]
fof(formula,axiom,
! [R_40_3_IS,R_40_2_THAT,R_40_5_ANY_RELEVANCE,R_40_6_LEGAL] :
( ( that(R_40_2_THAT)
& legal(R_40_6_LEGAL)
& is(R_40_3_IS,R_40_2_THAT)
& of_clr14(R_40_3_IS,R_40_5_ANY_RELEVANCE)
& any_relevance(R_40_5_ANY_RELEVANCE)
& attrib17(R_40_5_ANY_RELEVANCE,R_40_6_LEGAL) )
=> ? [R_40_10_CAN_BE,R_40_11_ONLY,R_40_14_THE_SENSE,R_40_16_THAT_MAY_REQUIRE,R_40_25_EVIDENCE,R_40_23_MORE,R_40_24_COGENT,R_40_27_SUPPORT,R_40_17_AN_ALLEGATION,R_40_19_IMPROBABLE,R_40_18_INHERENTLY] :
( only(R_40_11_ONLY)
& more(R_40_23_MORE)
& cogent(R_40_24_COGENT)
& inherently(R_40_18_INHERENTLY)
& can_be(R_40_10_CAN_BE,R_40_3_IS)
& nim30(R_40_10_CAN_BE,R_40_11_ONLY)
& in_clr38(R_40_10_CAN_BE,R_40_14_THE_SENSE)
& the_sense(R_40_14_THE_SENSE)
& emb44(R_40_14_THE_SENSE,R_40_16_THAT_MAY_REQUIRE)
& that_may_require(R_40_16_THAT_MAY_REQUIRE,R_40_17_AN_ALLEGATION,R_40_25_EVIDENCE)
& an_allegation(R_40_17_AN_ALLEGATION)
& attrib50(R_40_17_AN_ALLEGATION,R_40_19_IMPROBABLE)
& improbable(R_40_19_IMPROBABLE)
& qual51(R_40_19_IMPROBABLE,R_40_18_INHERENTLY)
& evidence(R_40_25_EVIDENCE)
& attrib64(R_40_25_EVIDENCE,R_40_23_MORE)
& attrib67(R_40_25_EVIDENCE,R_40_24_COGENT)
& in(R_40_25_EVIDENCE,R_40_27_SUPPORT)
& support(R_40_27_SUPPORT)
& of(R_40_27_SUPPORT,R_40_17_AN_ALLEGATION) ) ) ).
n40_a_major_case
n40_a_major_case__1_1_1_1
If
n40_a_major_case__1_1_2_1_1_1
that
n40_a_major_case__1_1_2_2_1
is
n40_a_major_case__1_1_2_3_1_1
of
n40_a_major_case__1_1_2_3_2_1_1
any
n40_a_major_case__1_1_2_3_2_2_1_1
legal
n40_a_major_case__1_1_2_3_2_3_1
relevance
n40_a_major_case__1_2_1
,
n40_a_major_case__1_3_1_1
it
n40_a_major_case__1_4_1
can
n40_a_major_case__1_5_1_1_1
only
n40_a_major_case__1_5_2_1
be
n40_a_major_case__1_5_3_1_1
in
n40_a_major_case__1_5_3_2_1_1
the
n40_a_major_case__1_5_3_2_2_1
sense
n40_a_major_case__1_5_3_2_3_1_1_1
that
n40_a_major_case__1_5_3_2_3_1_2_1_1
an
n40_a_major_case__1_5_3_2_3_1_2_2_1_1_1
inherently
n40_a_major_case__1_5_3_2_3_1_2_2_2_1
improbable
n40_a_major_case__1_5_3_2_3_1_2_3_1
allegation
n40_a_major_case__1_5_3_2_3_1_3_1
may
n40_a_major_case__1_5_3_2_3_1_4_1_1
require
n40_a_major_case__1_5_3_2_3_1_4_2_1_1_1
more
n40_a_major_case__1_5_3_2_3_1_4_2_2_1_1
cogent
n40_a_major_case__1_5_3_2_3_1_4_2_3_1
evidence
n40_a_major_case__1_5_3_2_3_1_4_2_4_1_1
in
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_1_1
support
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2_1_1
of
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2_2_1_1
it
n40_a_major_case__1_6_1
.
n40_a_major_case__1
IP-MAT
n40_a_major_case__1_1
PP-SCON
n40_a_major_case__1->n40_a_major_case__1_1
n40_a_major_case__1_2
PUNC
n40_a_major_case__1->n40_a_major_case__1_2
n40_a_major_case__1_3
NP-SBJ
n40_a_major_case__1->n40_a_major_case__1_3
n40_a_major_case__1_4
MD;_cat_Vi_
n40_a_major_case__1->n40_a_major_case__1_4
n40_a_major_case__1_5
IP-INF-CAT
n40_a_major_case__1->n40_a_major_case__1_5
n40_a_major_case__1_6
PUNC
n40_a_major_case__1->n40_a_major_case__1_6
n40_a_major_case__1_1_1
P-CONN
n40_a_major_case__1_1->n40_a_major_case__1_1_1
n40_a_major_case__1_1_2
IP-ADV
n40_a_major_case__1_1->n40_a_major_case__1_1_2
n40_a_major_case__1_1_1->n40_a_major_case__1_1_1_1
n40_a_major_case__1_1_2_1
NP-SBJ
n40_a_major_case__1_1_2->n40_a_major_case__1_1_2_1
n40_a_major_case__1_1_2_2
BEP;_Ipr_
n40_a_major_case__1_1_2->n40_a_major_case__1_1_2_2
n40_a_major_case__1_1_2_3
PP-CLR
n40_a_major_case__1_1_2->n40_a_major_case__1_1_2_3
n40_a_major_case__1_1_2_1_1
D;_nphd_
n40_a_major_case__1_1_2_1->n40_a_major_case__1_1_2_1_1
n40_a_major_case__1_1_2_1_1->n40_a_major_case__1_1_2_1_1_1
n40_a_major_case__1_1_2_2->n40_a_major_case__1_1_2_2_1
n40_a_major_case__1_1_2_3_1
P-ROLE
n40_a_major_case__1_1_2_3->n40_a_major_case__1_1_2_3_1
n40_a_major_case__1_1_2_3_2
NP
n40_a_major_case__1_1_2_3->n40_a_major_case__1_1_2_3_2
n40_a_major_case__1_1_2_3_1->n40_a_major_case__1_1_2_3_1_1
n40_a_major_case__1_1_2_3_2_1
D
n40_a_major_case__1_1_2_3_2->n40_a_major_case__1_1_2_3_2_1
n40_a_major_case__1_1_2_3_2_2
ADJP
n40_a_major_case__1_1_2_3_2->n40_a_major_case__1_1_2_3_2_2
n40_a_major_case__1_1_2_3_2_3
N
n40_a_major_case__1_1_2_3_2->n40_a_major_case__1_1_2_3_2_3
n40_a_major_case__1_1_2_3_2_1->n40_a_major_case__1_1_2_3_2_1_1
n40_a_major_case__1_1_2_3_2_2_1
ADJ
n40_a_major_case__1_1_2_3_2_2->n40_a_major_case__1_1_2_3_2_2_1
n40_a_major_case__1_1_2_3_2_2_1->n40_a_major_case__1_1_2_3_2_2_1_1
n40_a_major_case__1_1_2_3_2_3->n40_a_major_case__1_1_2_3_2_3_1
n40_a_major_case__1_2->n40_a_major_case__1_2_1
n40_a_major_case__1_3_1
PRO
n40_a_major_case__1_3->n40_a_major_case__1_3_1
n40_a_major_case__1_3_1->n40_a_major_case__1_3_1_1
n40_a_major_case__1_4->n40_a_major_case__1_4_1
n40_a_major_case__1_5_1
ADVP-NIM
n40_a_major_case__1_5->n40_a_major_case__1_5_1
n40_a_major_case__1_5_2
BE;_Ipr_
n40_a_major_case__1_5->n40_a_major_case__1_5_2
n40_a_major_case__1_5_3
PP-CLR
n40_a_major_case__1_5->n40_a_major_case__1_5_3
n40_a_major_case__1_5_1_1
ADV
n40_a_major_case__1_5_1->n40_a_major_case__1_5_1_1
n40_a_major_case__1_5_1_1->n40_a_major_case__1_5_1_1_1
n40_a_major_case__1_5_2->n40_a_major_case__1_5_2_1
n40_a_major_case__1_5_3_1
P-ROLE
n40_a_major_case__1_5_3->n40_a_major_case__1_5_3_1
n40_a_major_case__1_5_3_2
NP
n40_a_major_case__1_5_3->n40_a_major_case__1_5_3_2
n40_a_major_case__1_5_3_1->n40_a_major_case__1_5_3_1_1
n40_a_major_case__1_5_3_2_1
D
n40_a_major_case__1_5_3_2->n40_a_major_case__1_5_3_2_1
n40_a_major_case__1_5_3_2_2
N
n40_a_major_case__1_5_3_2->n40_a_major_case__1_5_3_2_2
n40_a_major_case__1_5_3_2_3
CP-THT
n40_a_major_case__1_5_3_2->n40_a_major_case__1_5_3_2_3
n40_a_major_case__1_5_3_2_1->n40_a_major_case__1_5_3_2_1_1
n40_a_major_case__1_5_3_2_2->n40_a_major_case__1_5_3_2_2_1
n40_a_major_case__1_5_3_2_3_1
IP-SUB
n40_a_major_case__1_5_3_2_3->n40_a_major_case__1_5_3_2_3_1
n40_a_major_case__1_5_3_2_3_1_1
C
n40_a_major_case__1_5_3_2_3_1->n40_a_major_case__1_5_3_2_3_1_1
n40_a_major_case__1_5_3_2_3_1_2
NP-SBJ
n40_a_major_case__1_5_3_2_3_1->n40_a_major_case__1_5_3_2_3_1_2
n40_a_major_case__1_5_3_2_3_1_3
MD;_cat_Vi_
n40_a_major_case__1_5_3_2_3_1->n40_a_major_case__1_5_3_2_3_1_3
n40_a_major_case__1_5_3_2_3_1_4
IP-INF-CAT
n40_a_major_case__1_5_3_2_3_1->n40_a_major_case__1_5_3_2_3_1_4
n40_a_major_case__1_5_3_2_3_1_1->n40_a_major_case__1_5_3_2_3_1_1_1
n40_a_major_case__1_5_3_2_3_1_2_1
D
n40_a_major_case__1_5_3_2_3_1_2->n40_a_major_case__1_5_3_2_3_1_2_1
n40_a_major_case__1_5_3_2_3_1_2_2
ADJP
n40_a_major_case__1_5_3_2_3_1_2->n40_a_major_case__1_5_3_2_3_1_2_2
n40_a_major_case__1_5_3_2_3_1_2_3
N
n40_a_major_case__1_5_3_2_3_1_2->n40_a_major_case__1_5_3_2_3_1_2_3
n40_a_major_case__1_5_3_2_3_1_2_1->n40_a_major_case__1_5_3_2_3_1_2_1_1
n40_a_major_case__1_5_3_2_3_1_2_2_1
ADVP
n40_a_major_case__1_5_3_2_3_1_2_2->n40_a_major_case__1_5_3_2_3_1_2_2_1
n40_a_major_case__1_5_3_2_3_1_2_2_2
ADJ
n40_a_major_case__1_5_3_2_3_1_2_2->n40_a_major_case__1_5_3_2_3_1_2_2_2
n40_a_major_case__1_5_3_2_3_1_2_2_1_1
ADV
n40_a_major_case__1_5_3_2_3_1_2_2_1->n40_a_major_case__1_5_3_2_3_1_2_2_1_1
n40_a_major_case__1_5_3_2_3_1_2_2_1_1->n40_a_major_case__1_5_3_2_3_1_2_2_1_1_1
n40_a_major_case__1_5_3_2_3_1_2_2_2->n40_a_major_case__1_5_3_2_3_1_2_2_2_1
n40_a_major_case__1_5_3_2_3_1_2_3->n40_a_major_case__1_5_3_2_3_1_2_3_1
n40_a_major_case__1_5_3_2_3_1_3->n40_a_major_case__1_5_3_2_3_1_3_1
n40_a_major_case__1_5_3_2_3_1_4_1
VB;__
n40_a_major_case__1_5_3_2_3_1_4->n40_a_major_case__1_5_3_2_3_1_4_1
n40_a_major_case__1_5_3_2_3_1_4_2
NP-OB1
n40_a_major_case__1_5_3_2_3_1_4->n40_a_major_case__1_5_3_2_3_1_4_2
n40_a_major_case__1_5_3_2_3_1_4_1->n40_a_major_case__1_5_3_2_3_1_4_1_1
n40_a_major_case__1_5_3_2_3_1_4_2_1
ADJP
n40_a_major_case__1_5_3_2_3_1_4_2->n40_a_major_case__1_5_3_2_3_1_4_2_1
n40_a_major_case__1_5_3_2_3_1_4_2_2
ADJP
n40_a_major_case__1_5_3_2_3_1_4_2->n40_a_major_case__1_5_3_2_3_1_4_2_2
n40_a_major_case__1_5_3_2_3_1_4_2_3
N
n40_a_major_case__1_5_3_2_3_1_4_2->n40_a_major_case__1_5_3_2_3_1_4_2_3
n40_a_major_case__1_5_3_2_3_1_4_2_4
PP
n40_a_major_case__1_5_3_2_3_1_4_2->n40_a_major_case__1_5_3_2_3_1_4_2_4
n40_a_major_case__1_5_3_2_3_1_4_2_1_1
ADJR
n40_a_major_case__1_5_3_2_3_1_4_2_1->n40_a_major_case__1_5_3_2_3_1_4_2_1_1
n40_a_major_case__1_5_3_2_3_1_4_2_1_1->n40_a_major_case__1_5_3_2_3_1_4_2_1_1_1
n40_a_major_case__1_5_3_2_3_1_4_2_2_1
ADJ
n40_a_major_case__1_5_3_2_3_1_4_2_2->n40_a_major_case__1_5_3_2_3_1_4_2_2_1
n40_a_major_case__1_5_3_2_3_1_4_2_2_1->n40_a_major_case__1_5_3_2_3_1_4_2_2_1_1
n40_a_major_case__1_5_3_2_3_1_4_2_3->n40_a_major_case__1_5_3_2_3_1_4_2_3_1
n40_a_major_case__1_5_3_2_3_1_4_2_4_1
P-ROLE
n40_a_major_case__1_5_3_2_3_1_4_2_4->n40_a_major_case__1_5_3_2_3_1_4_2_4_1
n40_a_major_case__1_5_3_2_3_1_4_2_4_2
NP
n40_a_major_case__1_5_3_2_3_1_4_2_4->n40_a_major_case__1_5_3_2_3_1_4_2_4_2
n40_a_major_case__1_5_3_2_3_1_4_2_4_1->n40_a_major_case__1_5_3_2_3_1_4_2_4_1_1
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_1
N
n40_a_major_case__1_5_3_2_3_1_4_2_4_2->n40_a_major_case__1_5_3_2_3_1_4_2_4_2_1
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2
PP
n40_a_major_case__1_5_3_2_3_1_4_2_4_2->n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_1->n40_a_major_case__1_5_3_2_3_1_4_2_4_2_1_1
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2_1
P-ROLE
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2->n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2_1
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2_2
NP
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2->n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2_2
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2_1->n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2_1_1
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2_2_1
PRO
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2_2->n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2_2_1
n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2_2_1->n40_a_major_case__1_5_3_2_3_1_4_2_4_2_2_2_1_1
n40_a_major_case__1_6->n40_a_major_case__1_6_1
( (IP-MAT (PP-SCON (P-CONN If;{if})
(IP-ADV;{ARGUMENT_HAS_RELEVANCE} (NP-SBJ;{ARGUMENT} (D;_nphd_ that;{that}))
(BEP;_Ipr_ is;{be[of]})
(PP-CLR (P-ROLE of;{of})
(NP (D any;{any})
(ADJP (ADJ legal;{legal}))
(N relevance;{relevance})))))
(PUNC ,)
(NP-SBJ;{ARGUMENT_HAS_RELEVANCE} (PRO it;{it}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (ADVP-NIM (ADV only;{only}))
(BE;_Ipr_ be;{be[in]})
(PP-CLR (P-ROLE in;{in})
(NP (D the;{the})
(N sense;{sense})
(CP-THT (IP-SUB (C that;{that})
(NP-SBJ;{ALLEGATION} (D an;{an})
(ADJP (ADVP (ADV inherently;{inherently}))
(ADJ improbable;{improbable}))
(N allegation;{allegation}))
(MD;_cat_Vi_ may;{may})
(IP-INF-CAT (VB;__ require;{require})
(NP-OB1 (ADJP (ADJR more;{more}))
(ADJP (ADJ cogent;{cogent}))
(N evidence;{evidence})
(PP (P-ROLE in;{in})
(NP (N support;{support})
(PP (P-ROLE of;{of})
(NP;{ALLEGATION} (PRO it;{it}))))))))))))
(PUNC .))
(ID 40_a_major_case))