15_a_johnson_letter
%3
r_0015_0001__When
When
r_0015_0003__do_r_0015_0004__have
do have
r_0015_0001__When->r_0015_0003__do_r_0015_0004__have
[restriction]
r_0015_0011__should
should
r_0015_0001__When->r_0015_0011__should
[scope]
r_0015_0005__to_r_0015_0006__leave
to leave
r_0015_0003__do_r_0015_0004__have->r_0015_0005__to_r_0015_0006__leave
[scope]
r_0015_0012__ensure
ensure
r_0015_0011__should->r_0015_0012__ensure
[scope]
r_0015_0002__you
you
r_0015_0005__to_r_0015_0006__leave->r_0015_0002__you
[arg0]
r_0015_0008__home
home
r_0015_0005__to_r_0015_0006__leave->r_0015_0008__home
[arg1]
r_0015_0008__home->r_0015_0002__you
[gen]
r_0015_0012__ensure->r_0015_0002__you
[arg0]
r_0015_0017__that_r_0015_0019__are
that are
r_0015_0012__ensure->r_0015_0017__that_r_0015_0019__are
[arg1]
z_000_15_a_johnson_letter_39
r_0015_0012__ensure->z_000_15_a_johnson_letter_39
wherever [nim]
r_0015_0017__that_r_0015_0019__are->r_0015_0002__you
[arg0]
r_0015_0020__two_r_0015_0021__metres
two metres
r_0015_0017__that_r_0015_0019__are->r_0015_0020__two_r_0015_0021__metres
[prd]
r_0015_0015__possible
possible
z_000_15_a_johnson_letter_39->r_0015_0015__possible
[attrib]
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]
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_0005__to_r_0015_0006__leave, scope).
arc(r_0015_0005__to_r_0015_0006__leave, r_0015_0002__you, arg0).
arc(r_0015_0005__to_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_0017__that_r_0015_0019__are, arg1).
arc(r_0015_0012__ensure, z_000_15_a_johnson_letter_39, r_0015_0014__wherever_nim39).
arc(r_0015_0017__that_r_0015_0019__are, r_0015_0002__you, arg0).
arc(r_0015_0017__that_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, qual59).
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).
arc(z_000_15_a_johnson_letter_39, r_0015_0015__possible, attrib40).
%3
r_0015_0001__When
When
r_0015_0003__do_r_0015_0004__have_r_0015_0005__to_r_0015_0006__leave
do have to leave
r_0015_0001__When->r_0015_0003__do_r_0015_0004__have_r_0015_0005__to_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_0005__to_r_0015_0006__leave->r_0015_0002__you
[arg0]
r_0015_0008__home
home
r_0015_0003__do_r_0015_0004__have_r_0015_0005__to_r_0015_0006__leave->r_0015_0008__home
[arg1]
r_0015_0011__should_r_0015_0012__ensure->r_0015_0002__you
[arg0]
r_0015_0017__that_r_0015_0019__are
that are
r_0015_0011__should_r_0015_0012__ensure->r_0015_0017__that_r_0015_0019__are
[arg1]
z_000_15_a_johnson_letter_39
r_0015_0011__should_r_0015_0012__ensure->z_000_15_a_johnson_letter_39
wherever [nim]
r_0015_0008__home->r_0015_0002__you
[gen]
r_0015_0017__that_r_0015_0019__are->r_0015_0002__you
[arg0]
r_0015_0020__two_r_0015_0021__metres
two metres
r_0015_0017__that_r_0015_0019__are->r_0015_0020__two_r_0015_0021__metres
[prd]
r_0015_0015__possible
possible
z_000_15_a_johnson_letter_39->r_0015_0015__possible
[attrib]
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_15_3_DO_HAVE_TO_LEAVE,R_15_8_HOME,R_15_2_YOU] :
( ( you(R_15_2_YOU)
& do_have_to_leave(R_15_3_DO_HAVE_TO_LEAVE,R_15_2_YOU,R_15_8_HOME)
& home(R_15_8_HOME)
& gen(R_15_8_HOME,R_15_2_YOU) )
=> ? [R_15_11_SHOULD_ENSURE,R_15_17_THAT_ARE,R_15_20_TWO_METRES,R_15_22_APART,R_15_24_ANYONE,R_15_27_HOUSEHOLD,Z_15_A_JOHNSON_LETTER_39,R_15_15_POSSIBLE] :
( apart(R_15_22_APART)
& possible(R_15_15_POSSIBLE)
& should_ensure(R_15_11_SHOULD_ENSURE,R_15_2_YOU,R_15_17_THAT_ARE)
& that_are(R_15_17_THAT_ARE,R_15_2_YOU,R_15_20_TWO_METRES)
& two_metres(R_15_20_TWO_METRES)
& qual59(R_15_20_TWO_METRES,R_15_22_APART)
& from(R_15_20_TWO_METRES,R_15_24_ANYONE)
& anyone(R_15_24_ANYONE)
& outside_of(R_15_24_ANYONE,R_15_27_HOUSEHOLD)
& household(R_15_27_HOUSEHOLD)
& gen(R_15_27_HOUSEHOLD,R_15_2_YOU)
& wherever_nim39(R_15_11_SHOULD_ENSURE,Z_15_A_JOHNSON_LETTER_39)
& z_15_a_johnson_letter_39(Z_15_A_JOHNSON_LETTER_39)
& attrib40(Z_15_A_JOHNSON_LETTER_39,R_15_15_POSSIBLE) ) ) ).
n15_a_johnson_letter
n15_a_johnson_letter_4
When
n15_a_johnson_letter_8
you
n15_a_johnson_letter_10
do
n15_a_johnson_letter_12
have
n15_a_johnson_letter_15
to
n15_a_johnson_letter_17
leave
n15_a_johnson_letter_21
your
n15_a_johnson_letter_23
home
n15_a_johnson_letter_25
,
n15_a_johnson_letter_28
you
n15_a_johnson_letter_30
should
n15_a_johnson_letter_33
ensure
n15_a_johnson_letter_35
,
n15_a_johnson_letter_38
wherever
n15_a_johnson_letter_42
possible
n15_a_johnson_letter_44
,
n15_a_johnson_letter_48
that
n15_a_johnson_letter_51
you
n15_a_johnson_letter_53
are
n15_a_johnson_letter_56
two
n15_a_johnson_letter_58
metres
n15_a_johnson_letter_61
apart
n15_a_johnson_letter_64
from
n15_a_johnson_letter_67
anyone
n15_a_johnson_letter_70
outside_of
n15_a_johnson_letter_74
your
n15_a_johnson_letter_76
household
n15_a_johnson_letter_78
.
n15_a_johnson_letter_1
IP-MAT
n15_a_johnson_letter_2
PP-SCON
n15_a_johnson_letter_1->n15_a_johnson_letter_2
n15_a_johnson_letter_24
PUNC
n15_a_johnson_letter_1->n15_a_johnson_letter_24
n15_a_johnson_letter_26
NP-SBJ
n15_a_johnson_letter_1->n15_a_johnson_letter_26
n15_a_johnson_letter_29
MD;_cat_Vi_
n15_a_johnson_letter_1->n15_a_johnson_letter_29
n15_a_johnson_letter_31
IP-INF-CAT
n15_a_johnson_letter_1->n15_a_johnson_letter_31
n15_a_johnson_letter_77
PUNC
n15_a_johnson_letter_1->n15_a_johnson_letter_77
n15_a_johnson_letter_3
P-CONN
n15_a_johnson_letter_2->n15_a_johnson_letter_3
n15_a_johnson_letter_5
IP-ADV
n15_a_johnson_letter_2->n15_a_johnson_letter_5
n15_a_johnson_letter_3->n15_a_johnson_letter_4
n15_a_johnson_letter_6
NP-SBJ
n15_a_johnson_letter_5->n15_a_johnson_letter_6
n15_a_johnson_letter_9
DOP
n15_a_johnson_letter_5->n15_a_johnson_letter_9
n15_a_johnson_letter_11
HV;_cat_Vt_
n15_a_johnson_letter_5->n15_a_johnson_letter_11
n15_a_johnson_letter_13
IP-INF-CAT
n15_a_johnson_letter_5->n15_a_johnson_letter_13
n15_a_johnson_letter_7
PRO
n15_a_johnson_letter_6->n15_a_johnson_letter_7
n15_a_johnson_letter_7->n15_a_johnson_letter_8
n15_a_johnson_letter_9->n15_a_johnson_letter_10
n15_a_johnson_letter_11->n15_a_johnson_letter_12
n15_a_johnson_letter_14
TO
n15_a_johnson_letter_13->n15_a_johnson_letter_14
n15_a_johnson_letter_16
VB;_Tn_
n15_a_johnson_letter_13->n15_a_johnson_letter_16
n15_a_johnson_letter_18
NP-OB1
n15_a_johnson_letter_13->n15_a_johnson_letter_18
n15_a_johnson_letter_14->n15_a_johnson_letter_15
n15_a_johnson_letter_16->n15_a_johnson_letter_17
n15_a_johnson_letter_19
NP-GEN
n15_a_johnson_letter_18->n15_a_johnson_letter_19
n15_a_johnson_letter_22
N
n15_a_johnson_letter_18->n15_a_johnson_letter_22
n15_a_johnson_letter_20
PRO;_genm_
n15_a_johnson_letter_19->n15_a_johnson_letter_20
n15_a_johnson_letter_20->n15_a_johnson_letter_21
n15_a_johnson_letter_22->n15_a_johnson_letter_23
n15_a_johnson_letter_24->n15_a_johnson_letter_25
n15_a_johnson_letter_27
PRO
n15_a_johnson_letter_26->n15_a_johnson_letter_27
n15_a_johnson_letter_27->n15_a_johnson_letter_28
n15_a_johnson_letter_29->n15_a_johnson_letter_30
n15_a_johnson_letter_32
VB;_Tf_
n15_a_johnson_letter_31->n15_a_johnson_letter_32
n15_a_johnson_letter_34
PUNC
n15_a_johnson_letter_31->n15_a_johnson_letter_34
n15_a_johnson_letter_36
PP-NIM
n15_a_johnson_letter_31->n15_a_johnson_letter_36
n15_a_johnson_letter_43
PUNC
n15_a_johnson_letter_31->n15_a_johnson_letter_43
n15_a_johnson_letter_45
CP-THT-OB1
n15_a_johnson_letter_31->n15_a_johnson_letter_45
n15_a_johnson_letter_32->n15_a_johnson_letter_33
n15_a_johnson_letter_34->n15_a_johnson_letter_35
n15_a_johnson_letter_37
P-ROLE
n15_a_johnson_letter_36->n15_a_johnson_letter_37
n15_a_johnson_letter_39
NP
n15_a_johnson_letter_36->n15_a_johnson_letter_39
n15_a_johnson_letter_37->n15_a_johnson_letter_38
n15_a_johnson_letter_40
ADJP
n15_a_johnson_letter_39->n15_a_johnson_letter_40
n15_a_johnson_letter_41
ADJ
n15_a_johnson_letter_40->n15_a_johnson_letter_41
n15_a_johnson_letter_41->n15_a_johnson_letter_42
n15_a_johnson_letter_43->n15_a_johnson_letter_44
n15_a_johnson_letter_46
IP-SUB
n15_a_johnson_letter_45->n15_a_johnson_letter_46
n15_a_johnson_letter_47
C
n15_a_johnson_letter_46->n15_a_johnson_letter_47
n15_a_johnson_letter_49
NP-SBJ
n15_a_johnson_letter_46->n15_a_johnson_letter_49
n15_a_johnson_letter_52
BEP;_Ln_
n15_a_johnson_letter_46->n15_a_johnson_letter_52
n15_a_johnson_letter_54
NP-PRD
n15_a_johnson_letter_46->n15_a_johnson_letter_54
n15_a_johnson_letter_47->n15_a_johnson_letter_48
n15_a_johnson_letter_50
PRO
n15_a_johnson_letter_49->n15_a_johnson_letter_50
n15_a_johnson_letter_50->n15_a_johnson_letter_51
n15_a_johnson_letter_52->n15_a_johnson_letter_53
n15_a_johnson_letter_55
NUM
n15_a_johnson_letter_54->n15_a_johnson_letter_55
n15_a_johnson_letter_57
NS
n15_a_johnson_letter_54->n15_a_johnson_letter_57
n15_a_johnson_letter_59
ADVP
n15_a_johnson_letter_54->n15_a_johnson_letter_59
n15_a_johnson_letter_62
PP
n15_a_johnson_letter_54->n15_a_johnson_letter_62
n15_a_johnson_letter_55->n15_a_johnson_letter_56
n15_a_johnson_letter_57->n15_a_johnson_letter_58
n15_a_johnson_letter_60
ADV
n15_a_johnson_letter_59->n15_a_johnson_letter_60
n15_a_johnson_letter_60->n15_a_johnson_letter_61
n15_a_johnson_letter_63
P-ROLE
n15_a_johnson_letter_62->n15_a_johnson_letter_63
n15_a_johnson_letter_65
NP
n15_a_johnson_letter_62->n15_a_johnson_letter_65
n15_a_johnson_letter_63->n15_a_johnson_letter_64
n15_a_johnson_letter_66
D;_nphd_
n15_a_johnson_letter_65->n15_a_johnson_letter_66
n15_a_johnson_letter_68
PP
n15_a_johnson_letter_65->n15_a_johnson_letter_68
n15_a_johnson_letter_66->n15_a_johnson_letter_67
n15_a_johnson_letter_69
P-ROLE
n15_a_johnson_letter_68->n15_a_johnson_letter_69
n15_a_johnson_letter_71
NP
n15_a_johnson_letter_68->n15_a_johnson_letter_71
n15_a_johnson_letter_69->n15_a_johnson_letter_70
n15_a_johnson_letter_72
NP-GEN
n15_a_johnson_letter_71->n15_a_johnson_letter_72
n15_a_johnson_letter_75
N
n15_a_johnson_letter_71->n15_a_johnson_letter_75
n15_a_johnson_letter_73
PRO;_genm_
n15_a_johnson_letter_72->n15_a_johnson_letter_73
n15_a_johnson_letter_73->n15_a_johnson_letter_74
n15_a_johnson_letter_75->n15_a_johnson_letter_76
n15_a_johnson_letter_77->n15_a_johnson_letter_78
( (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})
(NP (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))