68_a_hedgehog
%3
r_0068_0003__when
when
r_0068_0010__and
and
r_0068_0003__when->r_0068_0010__and
[restriction]
r_0068_0021__may
may
r_0068_0003__when->r_0068_0021__may
[scope]
r_0068_0006__no_quant
no [quant]
r_0068_0010__and->r_0068_0006__no_quant
[conj1]
r_0068_0014__compete
compete
r_0068_0010__and->r_0068_0014__compete
[conj2]
r_0068_0001__However
However
r_0068_0021__may->r_0068_0001__However
[nim]
r_0068_0022__be
be
r_0068_0021__may->r_0068_0022__be
[scope]
r_0068_0004__there_r_0068_0005__is
there is
r_0068_0008__refuge
refuge
r_0068_0004__there_r_0068_0005__is->r_0068_0008__refuge
[arg0]
r_0068_0007__safe
safe
r_0068_0008__refuge->r_0068_0007__safe
[attrib]
r_0068_0006__no_quant->r_0068_0004__there_r_0068_0005__is
[scope]
r_0068_0006__no_quant->r_0068_0008__refuge
[restriction]
r_0068_0012__and
and
r_0068_0014__compete->r_0068_0012__and
[arg0]
r_0068_0016__these_r_0068_0018__resources
these resources
r_0068_0014__compete->r_0068_0016__these_r_0068_0018__resources
for [clr]
r_0068_0011__badgers
badgers
r_0068_0012__and->r_0068_0011__badgers
[conj1]
r_0068_0013__hedgehogs
hedgehogs
r_0068_0012__and->r_0068_0013__hedgehogs
[conj2]
r_0068_0017__scarce
scarce
r_0068_0016__these_r_0068_0018__resources->r_0068_0017__scarce
[attrib]
r_0068_0020__hedgehogs
hedgehogs
r_0068_0022__be->r_0068_0020__hedgehogs
[arg0]
r_0068_0025__trouble
trouble
r_0068_0022__be->r_0068_0025__trouble
in [clr]
r_0068_0024__serious
serious
r_0068_0025__trouble->r_0068_0024__serious
[attrib]
arc(r_0068_0003__when, r_0068_0010__and, restriction).
arc(r_0068_0003__when, r_0068_0021__may, scope).
arc(r_0068_0004__there_r_0068_0005__is, r_0068_0008__refuge, arg0).
arc(r_0068_0006__no_quant, r_0068_0004__there_r_0068_0005__is, scope).
arc(r_0068_0006__no_quant, r_0068_0008__refuge, restriction).
arc(r_0068_0008__refuge, r_0068_0007__safe, attrib20).
arc(r_0068_0010__and, r_0068_0006__no_quant, conj1).
arc(r_0068_0010__and, r_0068_0014__compete, conj2).
arc(r_0068_0012__and, r_0068_0011__badgers, conj1).
arc(r_0068_0012__and, r_0068_0013__hedgehogs, conj2).
arc(r_0068_0014__compete, r_0068_0012__and, arg0).
arc(r_0068_0014__compete, r_0068_0016__these_r_0068_0018__resources, r_0068_0015__for_clr47).
arc(r_0068_0016__these_r_0068_0018__resources, r_0068_0017__scarce, attrib50).
arc(r_0068_0021__may, r_0068_0001__However, nim2).
arc(r_0068_0021__may, r_0068_0022__be, scope).
arc(r_0068_0022__be, r_0068_0020__hedgehogs, arg0).
arc(r_0068_0022__be, r_0068_0025__trouble, r_0068_0023__in_clr68).
arc(r_0068_0025__trouble, r_0068_0024__serious, attrib69).
%3
r_0068_0025__trouble
trouble
r_0068_0024__serious
serious
r_0068_0025__trouble->r_0068_0024__serious
[attrib]
r_0068_0021__may_r_0068_0022__be
may be
r_0068_0021__may_r_0068_0022__be->r_0068_0025__trouble
in [clr]
r_0068_0020__hedgehogs
hedgehogs
r_0068_0021__may_r_0068_0022__be->r_0068_0020__hedgehogs
[arg0]
r_0068_0001__However
However
r_0068_0021__may_r_0068_0022__be->r_0068_0001__However
[nim]
r_0068_0016__these_r_0068_0018__resources
these resources
r_0068_0017__scarce
scarce
r_0068_0016__these_r_0068_0018__resources->r_0068_0017__scarce
[attrib]
r_0068_0014__compete
compete
r_0068_0014__compete->r_0068_0016__these_r_0068_0018__resources
for [clr]
r_0068_0012__and
and
r_0068_0014__compete->r_0068_0012__and
[arg0]
r_0068_0013__hedgehogs
hedgehogs
r_0068_0012__and->r_0068_0013__hedgehogs
[conj2]
r_0068_0011__badgers
badgers
r_0068_0012__and->r_0068_0011__badgers
[conj1]
r_0068_0010__and
and
r_0068_0010__and->r_0068_0014__compete
[conj2]
r_0068_0006__no_quant
no [quant]
r_0068_0010__and->r_0068_0006__no_quant
[conj1]
r_0068_0008__refuge
refuge
r_0068_0006__no_quant->r_0068_0008__refuge
[restriction]
r_0068_0004__there_r_0068_0005__is
there is
r_0068_0006__no_quant->r_0068_0004__there_r_0068_0005__is
[scope]
r_0068_0007__safe
safe
r_0068_0008__refuge->r_0068_0007__safe
[attrib]
r_0068_0004__there_r_0068_0005__is->r_0068_0008__refuge
[arg0]
r_0068_0003__when
when
r_0068_0003__when->r_0068_0021__may_r_0068_0022__be
[scope]
r_0068_0003__when->r_0068_0010__and
[restriction]
fof(formula,axiom,
! [R_0068_0010__AND,R_0068_0011__BADGERS,R_0068_0013__HEDGEHOGS,R_0068_0012__AND,R_0068_0017__SCARCE,R_0068_0016__THESE_R_0068_0018__RESOURCES,R_0068_0014__COMPETE] :
( ( r_0068_0011__badgers(R_0068_0011__BADGERS)
& r_0068_0013__hedgehogs(R_0068_0013__HEDGEHOGS)
& r_0068_0017__scarce(R_0068_0017__SCARCE)
& r_0068_0010__and(R_0068_0010__AND)
& has_conj2(R_0068_0010__AND,R_0068_0014__COMPETE)
& r_0068_0014__compete(R_0068_0014__COMPETE)
& has_r_0068_0015__for_clr47(R_0068_0014__COMPETE,R_0068_0016__THESE_R_0068_0018__RESOURCES)
& r_0068_0016__these_r_0068_0018__resources(R_0068_0016__THESE_R_0068_0018__RESOURCES)
& has_attrib50(R_0068_0016__THESE_R_0068_0018__RESOURCES,R_0068_0017__SCARCE)
& has_arg0(R_0068_0014__COMPETE,R_0068_0012__AND)
& r_0068_0012__and(R_0068_0012__AND)
& has_conj2(R_0068_0012__AND,R_0068_0013__HEDGEHOGS)
& has_conj1(R_0068_0012__AND,R_0068_0011__BADGERS)
& ! [R_0068_0008__REFUGE,R_0068_0007__SAFE] :
( ( r_0068_0007__safe(R_0068_0007__SAFE)
& r_0068_0008__refuge(R_0068_0008__REFUGE)
& has_attrib20(R_0068_0008__REFUGE,R_0068_0007__SAFE) )
=> ? [R_0068_0004__THERE_R_0068_0005__IS] :
( r_0068_0004__there_r_0068_0005__is(R_0068_0004__THERE_R_0068_0005__IS)
& has_arg0(R_0068_0004__THERE_R_0068_0005__IS,R_0068_0008__REFUGE) ) ) )
=> ? [R_0068_0001__HOWEVER,R_0068_0020__HEDGEHOGS,R_0068_0024__SERIOUS,R_0068_0025__TROUBLE,R_0068_0021__MAY_R_0068_0022__BE] :
( r_0068_0001__However(R_0068_0001__HOWEVER)
& r_0068_0020__hedgehogs(R_0068_0020__HEDGEHOGS)
& r_0068_0024__serious(R_0068_0024__SERIOUS)
& r_0068_0021__may_r_0068_0022__be(R_0068_0021__MAY_R_0068_0022__BE)
& has_r_0068_0023__in_clr68(R_0068_0021__MAY_R_0068_0022__BE,R_0068_0025__TROUBLE)
& r_0068_0025__trouble(R_0068_0025__TROUBLE)
& has_attrib69(R_0068_0025__TROUBLE,R_0068_0024__SERIOUS)
& has_arg0(R_0068_0021__MAY_R_0068_0022__BE,R_0068_0020__HEDGEHOGS)
& has_nim2(R_0068_0021__MAY_R_0068_0022__BE,R_0068_0001__HOWEVER) ) ) ).
n68_a_hedgehog
n68_a_hedgehog__1_1_1_1
However
n68_a_hedgehog__1_2_1
,
n68_a_hedgehog__1_3_1_1
when
n68_a_hedgehog__1_3_2_1_1_1_1
there
n68_a_hedgehog__1_3_2_1_1_2_1
is
n68_a_hedgehog__1_3_2_1_1_3_1_1
no
n68_a_hedgehog__1_3_2_1_1_3_2_1_1
safe
n68_a_hedgehog__1_3_2_1_1_3_3_1
refuge
n68_a_hedgehog__1_3_2_1_2_1
,
n68_a_hedgehog__1_3_2_1_3_1_1
and
n68_a_hedgehog__1_3_2_1_3_2_1_1_1_1_1
badgers
n68_a_hedgehog__1_3_2_1_3_2_1_1_2_1_1
and
n68_a_hedgehog__1_3_2_1_3_2_1_1_2_2_1_1
hedgehogs
n68_a_hedgehog__1_3_2_1_3_2_2_1
compete
n68_a_hedgehog__1_3_2_1_3_2_3_1_1
for
n68_a_hedgehog__1_3_2_1_3_2_3_2_1_1
these
n68_a_hedgehog__1_3_2_1_3_2_3_2_2_1_1
scarce
n68_a_hedgehog__1_3_2_1_3_2_3_2_3_1
resources
n68_a_hedgehog__1_4_1
,
n68_a_hedgehog__1_5_1_1
hedgehogs
n68_a_hedgehog__1_6_1
may
n68_a_hedgehog__1_7_1_1
be
n68_a_hedgehog__1_7_2_1_1
in
n68_a_hedgehog__1_7_2_2_1_1_1
serious
n68_a_hedgehog__1_7_2_2_2_1
trouble
n68_a_hedgehog__1_8_1
.
n68_a_hedgehog__1
IP-MAT
n68_a_hedgehog__1_1
ADVP-NIM
n68_a_hedgehog__1->n68_a_hedgehog__1_1
n68_a_hedgehog__1_2
PUNC
n68_a_hedgehog__1->n68_a_hedgehog__1_2
n68_a_hedgehog__1_3
PP-SCON
n68_a_hedgehog__1->n68_a_hedgehog__1_3
n68_a_hedgehog__1_4
PUNC
n68_a_hedgehog__1->n68_a_hedgehog__1_4
n68_a_hedgehog__1_5
NP-SBJ
n68_a_hedgehog__1->n68_a_hedgehog__1_5
n68_a_hedgehog__1_6
MD;_cat_Vi_
n68_a_hedgehog__1->n68_a_hedgehog__1_6
n68_a_hedgehog__1_7
IP-INF-CAT
n68_a_hedgehog__1->n68_a_hedgehog__1_7
n68_a_hedgehog__1_8
PUNC
n68_a_hedgehog__1->n68_a_hedgehog__1_8
n68_a_hedgehog__1_1_1
ADV
n68_a_hedgehog__1_1->n68_a_hedgehog__1_1_1
n68_a_hedgehog__1_1_1->n68_a_hedgehog__1_1_1_1
n68_a_hedgehog__1_2->n68_a_hedgehog__1_2_1
n68_a_hedgehog__1_3_1
P-CONN
n68_a_hedgehog__1_3->n68_a_hedgehog__1_3_1
n68_a_hedgehog__1_3_2
IP-ADV
n68_a_hedgehog__1_3->n68_a_hedgehog__1_3_2
n68_a_hedgehog__1_3_1->n68_a_hedgehog__1_3_1_1
n68_a_hedgehog__1_3_2_1
ILYR
n68_a_hedgehog__1_3_2->n68_a_hedgehog__1_3_2_1
n68_a_hedgehog__1_3_2_1_1
ILYR
n68_a_hedgehog__1_3_2_1->n68_a_hedgehog__1_3_2_1_1
n68_a_hedgehog__1_3_2_1_2
PUNC
n68_a_hedgehog__1_3_2_1->n68_a_hedgehog__1_3_2_1_2
n68_a_hedgehog__1_3_2_1_3
CONJP
n68_a_hedgehog__1_3_2_1->n68_a_hedgehog__1_3_2_1_3
n68_a_hedgehog__1_3_2_1_1_1
EX
n68_a_hedgehog__1_3_2_1_1->n68_a_hedgehog__1_3_2_1_1_1
n68_a_hedgehog__1_3_2_1_1_2
BEP;_ex_V_
n68_a_hedgehog__1_3_2_1_1->n68_a_hedgehog__1_3_2_1_1_2
n68_a_hedgehog__1_3_2_1_1_3
NP-ESBJ
n68_a_hedgehog__1_3_2_1_1->n68_a_hedgehog__1_3_2_1_1_3
n68_a_hedgehog__1_3_2_1_1_1->n68_a_hedgehog__1_3_2_1_1_1_1
n68_a_hedgehog__1_3_2_1_1_2->n68_a_hedgehog__1_3_2_1_1_2_1
n68_a_hedgehog__1_3_2_1_1_3_1
Q
n68_a_hedgehog__1_3_2_1_1_3->n68_a_hedgehog__1_3_2_1_1_3_1
n68_a_hedgehog__1_3_2_1_1_3_2
ADJP
n68_a_hedgehog__1_3_2_1_1_3->n68_a_hedgehog__1_3_2_1_1_3_2
n68_a_hedgehog__1_3_2_1_1_3_3
N
n68_a_hedgehog__1_3_2_1_1_3->n68_a_hedgehog__1_3_2_1_1_3_3
n68_a_hedgehog__1_3_2_1_1_3_1->n68_a_hedgehog__1_3_2_1_1_3_1_1
n68_a_hedgehog__1_3_2_1_1_3_2_1
ADJ
n68_a_hedgehog__1_3_2_1_1_3_2->n68_a_hedgehog__1_3_2_1_1_3_2_1
n68_a_hedgehog__1_3_2_1_1_3_2_1->n68_a_hedgehog__1_3_2_1_1_3_2_1_1
n68_a_hedgehog__1_3_2_1_1_3_3->n68_a_hedgehog__1_3_2_1_1_3_3_1
n68_a_hedgehog__1_3_2_1_2->n68_a_hedgehog__1_3_2_1_2_1
n68_a_hedgehog__1_3_2_1_3_1
CONJ
n68_a_hedgehog__1_3_2_1_3->n68_a_hedgehog__1_3_2_1_3_1
n68_a_hedgehog__1_3_2_1_3_2
ILYR
n68_a_hedgehog__1_3_2_1_3->n68_a_hedgehog__1_3_2_1_3_2
n68_a_hedgehog__1_3_2_1_3_1->n68_a_hedgehog__1_3_2_1_3_1_1
n68_a_hedgehog__1_3_2_1_3_2_1
NP-SBJ
n68_a_hedgehog__1_3_2_1_3_2->n68_a_hedgehog__1_3_2_1_3_2_1
n68_a_hedgehog__1_3_2_1_3_2_2
VBP;_Ipr_
n68_a_hedgehog__1_3_2_1_3_2->n68_a_hedgehog__1_3_2_1_3_2_2
n68_a_hedgehog__1_3_2_1_3_2_3
PP-CLR
n68_a_hedgehog__1_3_2_1_3_2->n68_a_hedgehog__1_3_2_1_3_2_3
n68_a_hedgehog__1_3_2_1_3_2_1_1
NLYR
n68_a_hedgehog__1_3_2_1_3_2_1->n68_a_hedgehog__1_3_2_1_3_2_1_1
n68_a_hedgehog__1_3_2_1_3_2_1_1_1
NLYR
n68_a_hedgehog__1_3_2_1_3_2_1_1->n68_a_hedgehog__1_3_2_1_3_2_1_1_1
n68_a_hedgehog__1_3_2_1_3_2_1_1_2
CONJP
n68_a_hedgehog__1_3_2_1_3_2_1_1->n68_a_hedgehog__1_3_2_1_3_2_1_1_2
n68_a_hedgehog__1_3_2_1_3_2_1_1_1_1
NS
n68_a_hedgehog__1_3_2_1_3_2_1_1_1->n68_a_hedgehog__1_3_2_1_3_2_1_1_1_1
n68_a_hedgehog__1_3_2_1_3_2_1_1_1_1->n68_a_hedgehog__1_3_2_1_3_2_1_1_1_1_1
n68_a_hedgehog__1_3_2_1_3_2_1_1_2_1
CONJ
n68_a_hedgehog__1_3_2_1_3_2_1_1_2->n68_a_hedgehog__1_3_2_1_3_2_1_1_2_1
n68_a_hedgehog__1_3_2_1_3_2_1_1_2_2
NLYR
n68_a_hedgehog__1_3_2_1_3_2_1_1_2->n68_a_hedgehog__1_3_2_1_3_2_1_1_2_2
n68_a_hedgehog__1_3_2_1_3_2_1_1_2_1->n68_a_hedgehog__1_3_2_1_3_2_1_1_2_1_1
n68_a_hedgehog__1_3_2_1_3_2_1_1_2_2_1
NS
n68_a_hedgehog__1_3_2_1_3_2_1_1_2_2->n68_a_hedgehog__1_3_2_1_3_2_1_1_2_2_1
n68_a_hedgehog__1_3_2_1_3_2_1_1_2_2_1->n68_a_hedgehog__1_3_2_1_3_2_1_1_2_2_1_1
n68_a_hedgehog__1_3_2_1_3_2_2->n68_a_hedgehog__1_3_2_1_3_2_2_1
n68_a_hedgehog__1_3_2_1_3_2_3_1
P-ROLE
n68_a_hedgehog__1_3_2_1_3_2_3->n68_a_hedgehog__1_3_2_1_3_2_3_1
n68_a_hedgehog__1_3_2_1_3_2_3_2
NP
n68_a_hedgehog__1_3_2_1_3_2_3->n68_a_hedgehog__1_3_2_1_3_2_3_2
n68_a_hedgehog__1_3_2_1_3_2_3_1->n68_a_hedgehog__1_3_2_1_3_2_3_1_1
n68_a_hedgehog__1_3_2_1_3_2_3_2_1
D
n68_a_hedgehog__1_3_2_1_3_2_3_2->n68_a_hedgehog__1_3_2_1_3_2_3_2_1
n68_a_hedgehog__1_3_2_1_3_2_3_2_2
ADJP
n68_a_hedgehog__1_3_2_1_3_2_3_2->n68_a_hedgehog__1_3_2_1_3_2_3_2_2
n68_a_hedgehog__1_3_2_1_3_2_3_2_3
NS
n68_a_hedgehog__1_3_2_1_3_2_3_2->n68_a_hedgehog__1_3_2_1_3_2_3_2_3
n68_a_hedgehog__1_3_2_1_3_2_3_2_1->n68_a_hedgehog__1_3_2_1_3_2_3_2_1_1
n68_a_hedgehog__1_3_2_1_3_2_3_2_2_1
ADJ
n68_a_hedgehog__1_3_2_1_3_2_3_2_2->n68_a_hedgehog__1_3_2_1_3_2_3_2_2_1
n68_a_hedgehog__1_3_2_1_3_2_3_2_2_1->n68_a_hedgehog__1_3_2_1_3_2_3_2_2_1_1
n68_a_hedgehog__1_3_2_1_3_2_3_2_3->n68_a_hedgehog__1_3_2_1_3_2_3_2_3_1
n68_a_hedgehog__1_4->n68_a_hedgehog__1_4_1
n68_a_hedgehog__1_5_1
NS
n68_a_hedgehog__1_5->n68_a_hedgehog__1_5_1
n68_a_hedgehog__1_5_1->n68_a_hedgehog__1_5_1_1
n68_a_hedgehog__1_6->n68_a_hedgehog__1_6_1
n68_a_hedgehog__1_7_1
BE;_Ipr_
n68_a_hedgehog__1_7->n68_a_hedgehog__1_7_1
n68_a_hedgehog__1_7_2
PP-CLR
n68_a_hedgehog__1_7->n68_a_hedgehog__1_7_2
n68_a_hedgehog__1_7_1->n68_a_hedgehog__1_7_1_1
n68_a_hedgehog__1_7_2_1
P-ROLE
n68_a_hedgehog__1_7_2->n68_a_hedgehog__1_7_2_1
n68_a_hedgehog__1_7_2_2
NP
n68_a_hedgehog__1_7_2->n68_a_hedgehog__1_7_2_2
n68_a_hedgehog__1_7_2_1->n68_a_hedgehog__1_7_2_1_1
n68_a_hedgehog__1_7_2_2_1
ADJP
n68_a_hedgehog__1_7_2_2->n68_a_hedgehog__1_7_2_2_1
n68_a_hedgehog__1_7_2_2_2
N
n68_a_hedgehog__1_7_2_2->n68_a_hedgehog__1_7_2_2_2
n68_a_hedgehog__1_7_2_2_1_1
ADJ
n68_a_hedgehog__1_7_2_2_1->n68_a_hedgehog__1_7_2_2_1_1
n68_a_hedgehog__1_7_2_2_1_1->n68_a_hedgehog__1_7_2_2_1_1_1
n68_a_hedgehog__1_7_2_2_2->n68_a_hedgehog__1_7_2_2_2_1
n68_a_hedgehog__1_8->n68_a_hedgehog__1_8_1
( (IP-MAT (ADVP-NIM (ADV However;{however}))
(PUNC ,)
(PP-SCON (P-CONN when;{when})
(IP-ADV (ILYR (ILYR (EX there;{there})
(BEP;_ex_V_ is;{be})
(NP-ESBJ (Q no;{no})
(ADJP (ADJ safe;{safe}))
(N refuge;{refuge})))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (NLYR (NLYR (NS badgers;{badger}))
(CONJP (CONJ and;{and})
(NLYR (NS hedgehogs;{hedgehog})))))
(VBP;_Ipr_ compete;{compete[for]})
(PP-CLR (P-ROLE for;{for})
(NP (D these;{these})
(ADJP (ADJ scarce;{scarce}))
(NS resources;{resource}))))))))
(PUNC ,)
(NP-SBJ (NS hedgehogs;{hedgehog}))
(MD;_cat_Vi_ may;{may})
(IP-INF-CAT (BE;_Ipr_ be;{be[in]})
(PP-CLR (P-ROLE in;{in})
(NP (ADJP (ADJ serious;{serious}))
(N trouble;{trouble}))))
(PUNC .))
(ID 68_a_hedgehog;speaker=Colvile))