arc(r_0037_0002__Nor_r_0037_0003__does_r_0037_0015__suggest, r_0037_0004__the_r_0037_0005__Memorandum, arg0).
arc(r_0037_0002__Nor_r_0037_0003__does_r_0037_0015__suggest, r_0037_0016__that_r_0037_0019__needed, arg1).
arc(r_0037_0004__the_r_0037_0005__Memorandum, r_0037_0007__Nikki_r_0037_0008__da_r_0037_0009__Costa, r_0037_0006__from).
arc(r_0037_0010__outlined, r_0037_0004__the_r_0037_0005__Memorandum, arg1).
arc(r_0037_0010__outlined, r_0037_0012__para_r_0037_0013__17, r_0037_0011__in_nim32).
arc(r_0037_0010__outlined, z_000_37_a_uksc_judgment_25, arg0).
arc(r_0037_0012__para_r_0037_0013__17, r_0037_0014__above, qual37).
arc(r_0037_0016__that_r_0037_0019__needed, r_0037_0017__the_r_0037_0018__Government, arg0).
arc(r_0037_0016__that_r_0037_0019__needed, r_0037_0020__five_r_0037_0021__weeks, arg1).
arc(r_0037_0022__to_r_0037_0023__put, r_0037_0020__five_r_0037_0021__weeks, nim59).
arc(r_0037_0022__to_r_0037_0023__put, r_0037_0024__together, clr65).
arc(r_0037_0022__to_r_0037_0023__put, r_0037_0027__agenda, arg1).
arc(r_0037_0022__to_r_0037_0023__put, z_000_37_a_uksc_judgment_58, arg0).
arc(r_0037_0027__agenda, r_0037_0017__the_r_0037_0018__Government, gen).
arc(r_0037_0027__agenda, r_0037_0026__legislative, attrib72).

fof(formula,axiom,
    ? [R_0037_0007__NIKKI_R_0037_0008__DA_R_0037_0009__COSTA,R_0037_0004__THE_R_0037_0005__MEMORANDUM,R_0037_0017__THE_R_0037_0018__GOVERNMENT,R_0037_0020__FIVE_R_0037_0021__WEEKS,R_0037_0016__THAT_R_0037_0019__NEEDED,R_0037_0002__NOR_R_0037_0003__DOES_R_0037_0015__SUGGEST,R_0037_0014__ABOVE,R_0037_0012__PARA_R_0037_0013__17,Z_000_37_A_UKSC_JUDGMENT_25,R_0037_0010__OUTLINED,R_0037_0024__TOGETHER,R_0037_0026__LEGISLATIVE,R_0037_0027__AGENDA,Z_000_37_A_UKSC_JUDGMENT_58,R_0037_0022__TO_R_0037_0023__PUT] :
      ( r_0037_0007__Nikki_r_0037_0008__da_r_0037_0009__Costa(R_0037_0007__NIKKI_R_0037_0008__DA_R_0037_0009__COSTA)
      & r_0037_0014__above(R_0037_0014__ABOVE)
      & r_0037_0017__the_r_0037_0018__Government(R_0037_0017__THE_R_0037_0018__GOVERNMENT)
      & r_0037_0020__five_r_0037_0021__weeks(R_0037_0020__FIVE_R_0037_0021__WEEKS)
      & r_0037_0024__together(R_0037_0024__TOGETHER)
      & r_0037_0026__legislative(R_0037_0026__LEGISLATIVE)
      & z_000_37_a_uksc_judgment_25(Z_000_37_A_UKSC_JUDGMENT_25)
      & z_000_37_a_uksc_judgment_58(Z_000_37_A_UKSC_JUDGMENT_58)
      & r_0037_0022__to_r_0037_0023__put(R_0037_0022__TO_R_0037_0023__PUT)
      & has_arg0(R_0037_0022__TO_R_0037_0023__PUT,Z_000_37_A_UKSC_JUDGMENT_58)
      & has_arg1(R_0037_0022__TO_R_0037_0023__PUT,R_0037_0027__AGENDA)
      & r_0037_0027__agenda(R_0037_0027__AGENDA)
      & has_attrib72(R_0037_0027__AGENDA,R_0037_0026__LEGISLATIVE)
      & has_gen(R_0037_0027__AGENDA,R_0037_0017__THE_R_0037_0018__GOVERNMENT)
      & has_clr65(R_0037_0022__TO_R_0037_0023__PUT,R_0037_0024__TOGETHER)
      & has_nim59(R_0037_0022__TO_R_0037_0023__PUT,R_0037_0020__FIVE_R_0037_0021__WEEKS)
      & r_0037_0010__outlined(R_0037_0010__OUTLINED)
      & has_arg0(R_0037_0010__OUTLINED,Z_000_37_A_UKSC_JUDGMENT_25)
      & has_r_0037_0011__in_nim32(R_0037_0010__OUTLINED,R_0037_0012__PARA_R_0037_0013__17)
      & r_0037_0012__para_r_0037_0013__17(R_0037_0012__PARA_R_0037_0013__17)
      & has_qual37(R_0037_0012__PARA_R_0037_0013__17,R_0037_0014__ABOVE)
      & has_arg1(R_0037_0010__OUTLINED,R_0037_0004__THE_R_0037_0005__MEMORANDUM)
      & r_0037_0004__the_r_0037_0005__Memorandum(R_0037_0004__THE_R_0037_0005__MEMORANDUM)
      & has_r_0037_0006__from(R_0037_0004__THE_R_0037_0005__MEMORANDUM,R_0037_0007__NIKKI_R_0037_0008__DA_R_0037_0009__COSTA)
      & r_0037_0002__Nor_r_0037_0003__does_r_0037_0015__suggest(R_0037_0002__NOR_R_0037_0003__DOES_R_0037_0015__SUGGEST)
      & has_arg1(R_0037_0002__NOR_R_0037_0003__DOES_R_0037_0015__SUGGEST,R_0037_0016__THAT_R_0037_0019__NEEDED)
      & r_0037_0016__that_r_0037_0019__needed(R_0037_0016__THAT_R_0037_0019__NEEDED)
      & has_arg1(R_0037_0016__THAT_R_0037_0019__NEEDED,R_0037_0020__FIVE_R_0037_0021__WEEKS)
      & has_arg0(R_0037_0016__THAT_R_0037_0019__NEEDED,R_0037_0017__THE_R_0037_0018__GOVERNMENT)
      & has_arg0(R_0037_0002__NOR_R_0037_0003__DOES_R_0037_0015__SUGGEST,R_0037_0004__THE_R_0037_0005__MEMORANDUM) ) ).

( (IP-MAT (LST (LS 60<dot>))
          (CONJ;_cl_ Nor;{nor})
          (DOP does;{do})
          (NP-SBJ (D the;{the})
                  (NPR Memorandum;{Memorandum})
                  (PP (P-ROLE from;{from})
                      (NP (NPR Nikki;{Nikki})
                          (NPR da;{da})
                          (NPR Costa;{Costa})))
                  (IP-PPL (NP-LGS *)
                          (VVN;_Tn_ outlined;{outline})
                          (PP-NIM (P-ROLE in;{in})
                                  (NP (N para;{para})
                                      (NUM 17)
                                      (ADVP (ADV above;{above}))))))
          (VB;_Tf_ suggest;{suggest})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{GOV} (D the;{the})
                                            (NPR Government;{Government}))
                              (VBD;_Tn_ needed;{need})
                              (NP-OB1 (NUM five;{five})
                                      (NS weeks;{week})
                                      (IP-INF-REL (NP-NIM *T*)
                                                  (TO to;{to})
                                                  (VB;_Tn.p_ put;{put[together]})
                                                  (ADVP-CLR (ADV together;{together}))
                                                  (NP-OB1 (NP-GEN;{GOV} (PRO;_genm_ its;{its}))
                                                          (ADJP (ADJ legislative;{legislative}))
                                                          (N agenda;{agenda}))))))
          (PUNC .))
  (ID 37_a_uksc_judgment))