TSPC 24_a_uksc

24_a_uksc_judgment
Of course, the Government must be accorded a great deal of latitude in making decisions of this nature.

( (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))

arc(r_0024_0005__must,r_0024_0001__Of_course,nim).
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_0024_5014___star_,arg0).
arc(r_0024_0008__a_r_0024_0010__deal,r_0024_0009__great,attrib).
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_0024_5010,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_0024_5010,R_0024_0014__MAKING,R_0024_0012__LATITUDE,R_0024_0008__A_R_0024_0010__DEAL,Z_0024_5014___STAR_,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_0024_5010(Z_0024_5010)
      & z_0024_5014___star_(Z_0024_5014___STAR_)
      & 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_0024_5014___STAR_)
      & 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_0024_5010)
      & 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_attrib(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_nim(R_0024_0005__MUST_R_0024_0006__BE_R_0024_0007__ACCORDED,R_0024_0001__OF_COURSE) ) ).