24_a_uksc_judgment
Of course, the Government must be accorded a great deal of latitude in making decisions of this nature.
arc(r_0024_0005__must, r_0024_0001__Of_course, nim2).
arc(r_0024_0005__must, r_0024_0006__be, scope).
arc(r_0024_0006__be, r_0024_0007__accorded, scope).
arc(r_0024_0007__accorded, r_0024_0003__the_r_0024_0004__Government, arg2).
arc(r_0024_0007__accorded, r_0024_0008__a_r_0024_0010__deal, arg1).
arc(r_0024_0007__accorded, z_000_24_a_uksc_judgment_18, arg0).
arc(r_0024_0008__a_r_0024_0010__deal, r_0024_0009__great, attrib25).
arc(r_0024_0008__a_r_0024_0010__deal, r_0024_0012__latitude, r_0024_0011__of).
arc(r_0024_0012__latitude, r_0024_0014__making, r_0024_0013__in).
arc(r_0024_0014__making, r_0024_0015__decisions, arg1).
arc(r_0024_0014__making, z_000_24_a_uksc_judgment_39, arg0).
arc(r_0024_0015__decisions, r_0024_0017__this_r_0024_0018__nature, r_0024_0016__of).
fof(formula,axiom,
? [R_0024_0001__OF_COURSE,R_0024_0003__THE_R_0024_0004__GOVERNMENT,R_0024_0009__GREAT,R_0024_0017__THIS_R_0024_0018__NATURE,R_0024_0015__DECISIONS,Z_000_24_A_UKSC_JUDGMENT_39,R_0024_0014__MAKING,R_0024_0012__LATITUDE,R_0024_0008__A_R_0024_0010__DEAL,Z_000_24_A_UKSC_JUDGMENT_18,R_0024_0005__MUST_R_0024_0006__BE_R_0024_0007__ACCORDED] :
( r_0024_0001__Of_course(R_0024_0001__OF_COURSE)
& r_0024_0003__the_r_0024_0004__Government(R_0024_0003__THE_R_0024_0004__GOVERNMENT)
& r_0024_0009__great(R_0024_0009__GREAT)
& r_0024_0017__this_r_0024_0018__nature(R_0024_0017__THIS_R_0024_0018__NATURE)
& z_000_24_a_uksc_judgment_18(Z_000_24_A_UKSC_JUDGMENT_18)
& z_000_24_a_uksc_judgment_39(Z_000_24_A_UKSC_JUDGMENT_39)
& r_0024_0005__must_r_0024_0006__be_r_0024_0007__accorded(R_0024_0005__MUST_R_0024_0006__BE_R_0024_0007__ACCORDED)
& has_arg0(R_0024_0005__MUST_R_0024_0006__BE_R_0024_0007__ACCORDED,Z_000_24_A_UKSC_JUDGMENT_18)
& has_arg1(R_0024_0005__MUST_R_0024_0006__BE_R_0024_0007__ACCORDED,R_0024_0008__A_R_0024_0010__DEAL)
& r_0024_0008__a_r_0024_0010__deal(R_0024_0008__A_R_0024_0010__DEAL)
& has_r_0024_0011__of(R_0024_0008__A_R_0024_0010__DEAL,R_0024_0012__LATITUDE)
& r_0024_0012__latitude(R_0024_0012__LATITUDE)
& has_r_0024_0013__in(R_0024_0012__LATITUDE,R_0024_0014__MAKING)
& r_0024_0014__making(R_0024_0014__MAKING)
& has_arg0(R_0024_0014__MAKING,Z_000_24_A_UKSC_JUDGMENT_39)
& has_arg1(R_0024_0014__MAKING,R_0024_0015__DECISIONS)
& r_0024_0015__decisions(R_0024_0015__DECISIONS)
& has_r_0024_0016__of(R_0024_0015__DECISIONS,R_0024_0017__THIS_R_0024_0018__NATURE)
& has_attrib25(R_0024_0008__A_R_0024_0010__DEAL,R_0024_0009__GREAT)
& has_arg2(R_0024_0005__MUST_R_0024_0006__BE_R_0024_0007__ACCORDED,R_0024_0003__THE_R_0024_0004__GOVERNMENT)
& has_nim2(R_0024_0005__MUST_R_0024_0006__BE_R_0024_0007__ACCORDED,R_0024_0001__OF_COURSE) ) ).
( (IP-MAT (ADVP-NIM (ADV Of_course;{of_course}))
(PUNC ,)
(NP-SBJ (D the;{the})
(N Government;{government}))
(MD;_cat_Vi_ must;{must})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Dn.n_ accorded;{accord})
(NP-OB1 (D a;{a})
(ADJP (ADJ great;{great}))
(N deal;{deal})
(PP (P-ROLE of;{of})
(NP (N latitude;{latitude})
(PP (P-ROLE in;{in})
(IP-PPL3 (VAG;_Tn_ making;{make})
(NP-OB1 (NS decisions;{decision})
(PP (P-ROLE of;{of})
(NP (D this;{this})
(N nature;{nature})))))))))))
(PUNC .))
(ID 24_a_uksc_judgment))