15_a_johnson_letter
n15_a_johnson_letter
n15_a_johnson_letter__1_1_1_1
When
n15_a_johnson_letter__1_1_2_1_1_1
you
n15_a_johnson_letter__1_1_2_2_1
do
n15_a_johnson_letter__1_1_2_3_1
have
n15_a_johnson_letter__1_1_2_4_1_1
to
n15_a_johnson_letter__1_1_2_4_2_1
leave
n15_a_johnson_letter__1_1_2_4_3_1_1_1
your
n15_a_johnson_letter__1_1_2_4_3_2_1
home
n15_a_johnson_letter__1_2_1
,
n15_a_johnson_letter__1_3_1_1
you
n15_a_johnson_letter__1_4_1
should
n15_a_johnson_letter__1_5_1_1
ensure
n15_a_johnson_letter__1_5_2_1
,
n15_a_johnson_letter__1_5_3_1_1
wherever
n15_a_johnson_letter__1_5_3_2_1_1
possible
n15_a_johnson_letter__1_5_4_1
,
n15_a_johnson_letter__1_5_5_1_1_1
that
n15_a_johnson_letter__1_5_5_1_2_1_1
you
n15_a_johnson_letter__1_5_5_1_3_1
are
n15_a_johnson_letter__1_5_5_1_4_1_1
two
n15_a_johnson_letter__1_5_5_1_4_2_1
metres
n15_a_johnson_letter__1_5_5_1_4_3_1_1
apart
n15_a_johnson_letter__1_5_5_1_4_4_1_1
from
n15_a_johnson_letter__1_5_5_1_4_4_2_1_1
anyone
n15_a_johnson_letter__1_5_5_1_4_4_2_2_1_1
outside_of
n15_a_johnson_letter__1_5_5_1_4_4_2_2_2_1_1_1
your
n15_a_johnson_letter__1_5_5_1_4_4_2_2_2_2_1
household
n15_a_johnson_letter__1_6_1
.
n15_a_johnson_letter__1
IP-MAT
n15_a_johnson_letter__1_1
PP-SCON
n15_a_johnson_letter__1->n15_a_johnson_letter__1_1
n15_a_johnson_letter__1_2
PUNC
n15_a_johnson_letter__1->n15_a_johnson_letter__1_2
n15_a_johnson_letter__1_3
NP-SBJ
n15_a_johnson_letter__1->n15_a_johnson_letter__1_3
n15_a_johnson_letter__1_4
MD;_cat_Vi_
n15_a_johnson_letter__1->n15_a_johnson_letter__1_4
n15_a_johnson_letter__1_5
IP-INF-CAT
n15_a_johnson_letter__1->n15_a_johnson_letter__1_5
n15_a_johnson_letter__1_6
PUNC
n15_a_johnson_letter__1->n15_a_johnson_letter__1_6
n15_a_johnson_letter__1_1_1
P-CONN
n15_a_johnson_letter__1_1->n15_a_johnson_letter__1_1_1
n15_a_johnson_letter__1_1_2
IP-ADV
n15_a_johnson_letter__1_1->n15_a_johnson_letter__1_1_2
n15_a_johnson_letter__1_1_1->n15_a_johnson_letter__1_1_1_1
n15_a_johnson_letter__1_1_2_1
NP-SBJ
n15_a_johnson_letter__1_1_2->n15_a_johnson_letter__1_1_2_1
n15_a_johnson_letter__1_1_2_2
DOP
n15_a_johnson_letter__1_1_2->n15_a_johnson_letter__1_1_2_2
n15_a_johnson_letter__1_1_2_3
HV;_cat_Vt_
n15_a_johnson_letter__1_1_2->n15_a_johnson_letter__1_1_2_3
n15_a_johnson_letter__1_1_2_4
IP-INF-CAT
n15_a_johnson_letter__1_1_2->n15_a_johnson_letter__1_1_2_4
n15_a_johnson_letter__1_1_2_1_1
PRO
n15_a_johnson_letter__1_1_2_1->n15_a_johnson_letter__1_1_2_1_1
n15_a_johnson_letter__1_1_2_1_1->n15_a_johnson_letter__1_1_2_1_1_1
n15_a_johnson_letter__1_1_2_2->n15_a_johnson_letter__1_1_2_2_1
n15_a_johnson_letter__1_1_2_3->n15_a_johnson_letter__1_1_2_3_1
n15_a_johnson_letter__1_1_2_4_1
TO
n15_a_johnson_letter__1_1_2_4->n15_a_johnson_letter__1_1_2_4_1
n15_a_johnson_letter__1_1_2_4_2
VB;_Tn_
n15_a_johnson_letter__1_1_2_4->n15_a_johnson_letter__1_1_2_4_2
n15_a_johnson_letter__1_1_2_4_3
NP-OB1
n15_a_johnson_letter__1_1_2_4->n15_a_johnson_letter__1_1_2_4_3
n15_a_johnson_letter__1_1_2_4_1->n15_a_johnson_letter__1_1_2_4_1_1
n15_a_johnson_letter__1_1_2_4_2->n15_a_johnson_letter__1_1_2_4_2_1
n15_a_johnson_letter__1_1_2_4_3_1
NP-GEN
n15_a_johnson_letter__1_1_2_4_3->n15_a_johnson_letter__1_1_2_4_3_1
n15_a_johnson_letter__1_1_2_4_3_2
N
n15_a_johnson_letter__1_1_2_4_3->n15_a_johnson_letter__1_1_2_4_3_2
n15_a_johnson_letter__1_1_2_4_3_1_1
PRO;_genm_
n15_a_johnson_letter__1_1_2_4_3_1->n15_a_johnson_letter__1_1_2_4_3_1_1
n15_a_johnson_letter__1_1_2_4_3_1_1->n15_a_johnson_letter__1_1_2_4_3_1_1_1
n15_a_johnson_letter__1_1_2_4_3_2->n15_a_johnson_letter__1_1_2_4_3_2_1
n15_a_johnson_letter__1_2->n15_a_johnson_letter__1_2_1
n15_a_johnson_letter__1_3_1
PRO
n15_a_johnson_letter__1_3->n15_a_johnson_letter__1_3_1
n15_a_johnson_letter__1_3_1->n15_a_johnson_letter__1_3_1_1
n15_a_johnson_letter__1_4->n15_a_johnson_letter__1_4_1
n15_a_johnson_letter__1_5_1
VB;_Tf_
n15_a_johnson_letter__1_5->n15_a_johnson_letter__1_5_1
n15_a_johnson_letter__1_5_2
PUNC
n15_a_johnson_letter__1_5->n15_a_johnson_letter__1_5_2
n15_a_johnson_letter__1_5_3
PP-NIM
n15_a_johnson_letter__1_5->n15_a_johnson_letter__1_5_3
n15_a_johnson_letter__1_5_4
PUNC
n15_a_johnson_letter__1_5->n15_a_johnson_letter__1_5_4
n15_a_johnson_letter__1_5_5
CP-THT-OB1
n15_a_johnson_letter__1_5->n15_a_johnson_letter__1_5_5
n15_a_johnson_letter__1_5_1->n15_a_johnson_letter__1_5_1_1
n15_a_johnson_letter__1_5_2->n15_a_johnson_letter__1_5_2_1
n15_a_johnson_letter__1_5_3_1
P-ROLE
n15_a_johnson_letter__1_5_3->n15_a_johnson_letter__1_5_3_1
n15_a_johnson_letter__1_5_3_2
ADJP
n15_a_johnson_letter__1_5_3->n15_a_johnson_letter__1_5_3_2
n15_a_johnson_letter__1_5_3_1->n15_a_johnson_letter__1_5_3_1_1
n15_a_johnson_letter__1_5_3_2_1
ADJ
n15_a_johnson_letter__1_5_3_2->n15_a_johnson_letter__1_5_3_2_1
n15_a_johnson_letter__1_5_3_2_1->n15_a_johnson_letter__1_5_3_2_1_1
n15_a_johnson_letter__1_5_4->n15_a_johnson_letter__1_5_4_1
n15_a_johnson_letter__1_5_5_1
IP-SUB
n15_a_johnson_letter__1_5_5->n15_a_johnson_letter__1_5_5_1
n15_a_johnson_letter__1_5_5_1_1
C
n15_a_johnson_letter__1_5_5_1->n15_a_johnson_letter__1_5_5_1_1
n15_a_johnson_letter__1_5_5_1_2
NP-SBJ
n15_a_johnson_letter__1_5_5_1->n15_a_johnson_letter__1_5_5_1_2
n15_a_johnson_letter__1_5_5_1_3
BEP;_Ln_
n15_a_johnson_letter__1_5_5_1->n15_a_johnson_letter__1_5_5_1_3
n15_a_johnson_letter__1_5_5_1_4
NP-PRD
n15_a_johnson_letter__1_5_5_1->n15_a_johnson_letter__1_5_5_1_4
n15_a_johnson_letter__1_5_5_1_1->n15_a_johnson_letter__1_5_5_1_1_1
n15_a_johnson_letter__1_5_5_1_2_1
PRO
n15_a_johnson_letter__1_5_5_1_2->n15_a_johnson_letter__1_5_5_1_2_1
n15_a_johnson_letter__1_5_5_1_2_1->n15_a_johnson_letter__1_5_5_1_2_1_1
n15_a_johnson_letter__1_5_5_1_3->n15_a_johnson_letter__1_5_5_1_3_1
n15_a_johnson_letter__1_5_5_1_4_1
NUM
n15_a_johnson_letter__1_5_5_1_4->n15_a_johnson_letter__1_5_5_1_4_1
n15_a_johnson_letter__1_5_5_1_4_2
NS
n15_a_johnson_letter__1_5_5_1_4->n15_a_johnson_letter__1_5_5_1_4_2
n15_a_johnson_letter__1_5_5_1_4_3
ADVP
n15_a_johnson_letter__1_5_5_1_4->n15_a_johnson_letter__1_5_5_1_4_3
n15_a_johnson_letter__1_5_5_1_4_4
PP
n15_a_johnson_letter__1_5_5_1_4->n15_a_johnson_letter__1_5_5_1_4_4
n15_a_johnson_letter__1_5_5_1_4_1->n15_a_johnson_letter__1_5_5_1_4_1_1
n15_a_johnson_letter__1_5_5_1_4_2->n15_a_johnson_letter__1_5_5_1_4_2_1
n15_a_johnson_letter__1_5_5_1_4_3_1
ADV
n15_a_johnson_letter__1_5_5_1_4_3->n15_a_johnson_letter__1_5_5_1_4_3_1
n15_a_johnson_letter__1_5_5_1_4_3_1->n15_a_johnson_letter__1_5_5_1_4_3_1_1
n15_a_johnson_letter__1_5_5_1_4_4_1
P-ROLE
n15_a_johnson_letter__1_5_5_1_4_4->n15_a_johnson_letter__1_5_5_1_4_4_1
n15_a_johnson_letter__1_5_5_1_4_4_2
NP
n15_a_johnson_letter__1_5_5_1_4_4->n15_a_johnson_letter__1_5_5_1_4_4_2
n15_a_johnson_letter__1_5_5_1_4_4_1->n15_a_johnson_letter__1_5_5_1_4_4_1_1
n15_a_johnson_letter__1_5_5_1_4_4_2_1
D;_nphd_
n15_a_johnson_letter__1_5_5_1_4_4_2->n15_a_johnson_letter__1_5_5_1_4_4_2_1
n15_a_johnson_letter__1_5_5_1_4_4_2_2
PP
n15_a_johnson_letter__1_5_5_1_4_4_2->n15_a_johnson_letter__1_5_5_1_4_4_2_2
n15_a_johnson_letter__1_5_5_1_4_4_2_1->n15_a_johnson_letter__1_5_5_1_4_4_2_1_1
n15_a_johnson_letter__1_5_5_1_4_4_2_2_1
P-ROLE
n15_a_johnson_letter__1_5_5_1_4_4_2_2->n15_a_johnson_letter__1_5_5_1_4_4_2_2_1
n15_a_johnson_letter__1_5_5_1_4_4_2_2_2
NP
n15_a_johnson_letter__1_5_5_1_4_4_2_2->n15_a_johnson_letter__1_5_5_1_4_4_2_2_2
n15_a_johnson_letter__1_5_5_1_4_4_2_2_1->n15_a_johnson_letter__1_5_5_1_4_4_2_2_1_1
n15_a_johnson_letter__1_5_5_1_4_4_2_2_2_1
NP-GEN
n15_a_johnson_letter__1_5_5_1_4_4_2_2_2->n15_a_johnson_letter__1_5_5_1_4_4_2_2_2_1
n15_a_johnson_letter__1_5_5_1_4_4_2_2_2_2
N
n15_a_johnson_letter__1_5_5_1_4_4_2_2_2->n15_a_johnson_letter__1_5_5_1_4_4_2_2_2_2
n15_a_johnson_letter__1_5_5_1_4_4_2_2_2_1_1
PRO;_genm_
n15_a_johnson_letter__1_5_5_1_4_4_2_2_2_1->n15_a_johnson_letter__1_5_5_1_4_4_2_2_2_1_1
n15_a_johnson_letter__1_5_5_1_4_4_2_2_2_1_1->n15_a_johnson_letter__1_5_5_1_4_4_2_2_2_1_1_1
n15_a_johnson_letter__1_5_5_1_4_4_2_2_2_2->n15_a_johnson_letter__1_5_5_1_4_4_2_2_2_2_1
n15_a_johnson_letter__1_6->n15_a_johnson_letter__1_6_1
( (IP-MAT (PP-SCON (P-CONN When;{when})
(IP-ADV (NP-SBJ (PRO you;{you}))
(DOP do;{do})
(HV;_cat_Vt_ have;{have})
(IP-INF-CAT (TO to;{to})
(VB;_Tn_ leave;{leave})
(NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
(N home;{home})))))
(PUNC ,)
(NP-SBJ (PRO you;{you}))
(MD;_cat_Vi_ should;{shall})
(IP-INF-CAT (VB;_Tf_ ensure;{ensure})
(PUNC ,)
(PP-NIM (P-ROLE wherever;{wherever})
(ADJP (ADJ possible;{possible})))
(PUNC ,)
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (PRO you;{you}))
(BEP;_Ln_ are;{be})
(NP-PRD (NUM two;{two})
(NS metres;{metre})
(ADVP (ADV apart;{apart}))
(PP (P-ROLE from;{from})
(NP (D;_nphd_ anyone;{anyone})
(PP (P-ROLE outside_of;{outside_of})
(NP (NP-GEN (PRO;_genm_ your;{your}))
(N household;{household})))))))))
(PUNC .))
(ID 15_a_johnson_letter))
%3
r_0015_0027__household
household
r_0015_0002__you
you
r_0015_0027__household->r_0015_0002__you
[gen]
r_0015_0024__anyone
anyone
r_0015_0024__anyone->r_0015_0027__household
outside_of
r_0015_0020__two_r_0015_0021__metres
two metres
r_0015_0020__two_r_0015_0021__metres->r_0015_0024__anyone
from
r_0015_0022__apart
apart
r_0015_0020__two_r_0015_0021__metres->r_0015_0022__apart
[qual]
r_0015_0019__are
are
r_0015_0019__are->r_0015_0002__you
[arg0]
r_0015_0019__are->r_0015_0020__two_r_0015_0021__metres
[prd]
r_0015_0012__ensure
ensure
r_0015_0012__ensure->r_0015_0002__you
[arg0]
r_0015_0012__ensure->r_0015_0019__are
[arg1]
r_0015_0015__possible
possible
r_0015_0012__ensure->r_0015_0015__possible
wherever [nim]
r_0015_0011__should
should
r_0015_0011__should->r_0015_0012__ensure
[scope]
r_0015_0008__home
home
r_0015_0008__home->r_0015_0002__you
[gen]
r_0015_0006__leave
leave
r_0015_0006__leave->r_0015_0002__you
[arg0]
r_0015_0006__leave->r_0015_0008__home
[arg1]
r_0015_0003__do_r_0015_0004__have
do have
r_0015_0003__do_r_0015_0004__have->r_0015_0006__leave
[scope]
r_0015_0001__When
When
r_0015_0001__When->r_0015_0011__should
[scope]
r_0015_0001__When->r_0015_0003__do_r_0015_0004__have
[restriction]
arc(r_0015_0001__When,r_0015_0003__do_r_0015_0004__have,restriction).
arc(r_0015_0001__When,r_0015_0011__should,scope).
arc(r_0015_0003__do_r_0015_0004__have,r_0015_0006__leave,scope).
arc(r_0015_0006__leave,r_0015_0002__you,arg0).
arc(r_0015_0006__leave,r_0015_0008__home,arg1).
arc(r_0015_0008__home,r_0015_0002__you,gen).
arc(r_0015_0011__should,r_0015_0012__ensure,scope).
arc(r_0015_0012__ensure,r_0015_0002__you,arg0).
arc(r_0015_0012__ensure,r_0015_0015__possible,r_0015_0014__wherever__nim).
arc(r_0015_0012__ensure,r_0015_0019__are,arg1).
arc(r_0015_0019__are,r_0015_0002__you,arg0).
arc(r_0015_0019__are,r_0015_0020__two_r_0015_0021__metres,prd).
arc(r_0015_0020__two_r_0015_0021__metres,r_0015_0022__apart,qual).
arc(r_0015_0020__two_r_0015_0021__metres,r_0015_0024__anyone,r_0015_0023__from).
arc(r_0015_0024__anyone,r_0015_0027__household,r_0015_0025__outside_of).
arc(r_0015_0027__household,r_0015_0002__you,gen).
%3
r_0015_0001__When
When
r_0015_0003__do_r_0015_0004__have_r_0015_0006__leave
do have leave
r_0015_0001__When->r_0015_0003__do_r_0015_0004__have_r_0015_0006__leave
[restriction]
r_0015_0011__should_r_0015_0012__ensure
should ensure
r_0015_0001__When->r_0015_0011__should_r_0015_0012__ensure
[scope]
r_0015_0002__you
you
r_0015_0003__do_r_0015_0004__have_r_0015_0006__leave->r_0015_0002__you
[arg0]
r_0015_0008__home
home
r_0015_0003__do_r_0015_0004__have_r_0015_0006__leave->r_0015_0008__home
[arg1]
r_0015_0011__should_r_0015_0012__ensure->r_0015_0002__you
[arg0]
r_0015_0015__possible
possible
r_0015_0011__should_r_0015_0012__ensure->r_0015_0015__possible
wherever [nim]
r_0015_0019__are
are
r_0015_0011__should_r_0015_0012__ensure->r_0015_0019__are
[arg1]
r_0015_0008__home->r_0015_0002__you
[gen]
r_0015_0019__are->r_0015_0002__you
[arg0]
r_0015_0020__two_r_0015_0021__metres
two metres
r_0015_0019__are->r_0015_0020__two_r_0015_0021__metres
[prd]
r_0015_0022__apart
apart
r_0015_0020__two_r_0015_0021__metres->r_0015_0022__apart
[qual]
r_0015_0024__anyone
anyone
r_0015_0020__two_r_0015_0021__metres->r_0015_0024__anyone
from
r_0015_0027__household
household
r_0015_0024__anyone->r_0015_0027__household
outside_of
r_0015_0027__household->r_0015_0002__you
[gen]
fof(formula,axiom,
! [R_0015_0003__DO_R_0015_0004__HAVE_R_0015_0006__LEAVE,R_0015_0002__YOU,R_0015_0008__HOME] :
( ( r_0015_0002__you(R_0015_0002__YOU)
& r_0015_0003__do_r_0015_0004__have_r_0015_0006__leave(R_0015_0003__DO_R_0015_0004__HAVE_R_0015_0006__LEAVE)
& has_arg1(R_0015_0003__DO_R_0015_0004__HAVE_R_0015_0006__LEAVE,R_0015_0008__HOME)
& r_0015_0008__home(R_0015_0008__HOME)
& has_gen(R_0015_0008__HOME,R_0015_0002__YOU)
& has_arg0(R_0015_0003__DO_R_0015_0004__HAVE_R_0015_0006__LEAVE,R_0015_0002__YOU) )
=> ? [R_0015_0015__POSSIBLE,R_0015_0022__APART,R_0015_0027__HOUSEHOLD,R_0015_0024__ANYONE,R_0015_0020__TWO_R_0015_0021__METRES,R_0015_0019__ARE,R_0015_0011__SHOULD_R_0015_0012__ENSURE] :
( r_0015_0015__possible(R_0015_0015__POSSIBLE)
& r_0015_0022__apart(R_0015_0022__APART)
& r_0015_0011__should_r_0015_0012__ensure(R_0015_0011__SHOULD_R_0015_0012__ENSURE)
& has_arg1(R_0015_0011__SHOULD_R_0015_0012__ENSURE,R_0015_0019__ARE)
& r_0015_0019__are(R_0015_0019__ARE)
& has_prd(R_0015_0019__ARE,R_0015_0020__TWO_R_0015_0021__METRES)
& r_0015_0020__two_r_0015_0021__metres(R_0015_0020__TWO_R_0015_0021__METRES)
& has_r_0015_0023__from(R_0015_0020__TWO_R_0015_0021__METRES,R_0015_0024__ANYONE)
& r_0015_0024__anyone(R_0015_0024__ANYONE)
& has_r_0015_0025__outside_of(R_0015_0024__ANYONE,R_0015_0027__HOUSEHOLD)
& r_0015_0027__household(R_0015_0027__HOUSEHOLD)
& has_gen(R_0015_0027__HOUSEHOLD,R_0015_0002__YOU)
& has_qual(R_0015_0020__TWO_R_0015_0021__METRES,R_0015_0022__APART)
& has_arg0(R_0015_0019__ARE,R_0015_0002__YOU)
& has_r_0015_0014__wherever__nim(R_0015_0011__SHOULD_R_0015_0012__ENSURE,R_0015_0015__POSSIBLE)
& has_arg0(R_0015_0011__SHOULD_R_0015_0012__ENSURE,R_0015_0002__YOU) ) ) ).