arc(r_0027_0002__will, r_0027_0003__be, scope).
arc(r_0027_0003__be, r_0027_0004__apparent, prd).
arc(r_0027_0003__be, r_0027_0011__no_quant, arg0).
arc(r_0027_0004__apparent, r_0027_0006__the_r_0027_0007__documents, r_0027_0005__from).
arc(r_0027_0008__quoted, r_0027_0006__the_r_0027_0007__documents, arg1).
arc(r_0027_0008__quoted, r_0027_0009__earlier, nim26).
arc(r_0027_0008__quoted, z_000_27_a_uksc_judgment_22, arg0).
arc(r_0027_0010__that_r_0027_0013__was, r_0027_0014__given, scope).
arc(r_0027_0011__no_quant, r_0027_0010__that_r_0027_0013__was, scope).
arc(r_0027_0011__no_quant, r_0027_0012__reason, restriction).
arc(r_0027_0014__given, r_0027_0012__reason, arg1).
arc(r_0027_0014__given, r_0027_0016__closing_r_0027_0017__down, r_0027_0015__for_clr48).
arc(r_0027_0014__given, z_000_27_a_uksc_judgment_41, arg0).
arc(r_0027_0016__closing_r_0027_0017__down, r_0027_0018__Parliament, arg1).
arc(r_0027_0016__closing_r_0027_0017__down, r_0027_0020__five_r_0027_0021__weeks, r_0027_0019__for_nim59).
arc(r_0027_0016__closing_r_0027_0017__down, z_000_27_a_uksc_judgment_48, arg0).

fof(formula,axiom,
    ? [R_27_2_WILL_BE,R_27_4_APPARENT,R_27_8_QUOTED,Z_27_A_UKSC_JUDGMENT_22,R_27_6_THE_DOCUMENTS,R_27_9_EARLIER] :
      ( the_documents(R_27_6_THE_DOCUMENTS)
      & earlier(R_27_9_EARLIER)
      & ! [R_27_12_REASON] :
          ( reason(R_27_12_REASON)
         => ? [R_27_10_THAT_WAS_GIVEN,Z_27_A_UKSC_JUDGMENT_41,R_27_16_CLOSING_DOWN,Z_27_A_UKSC_JUDGMENT_48,R_27_18_PARLIAMENT,R_27_20_FIVE_WEEKS] :
              ( parliament(R_27_18_PARLIAMENT)
              & five_weeks(R_27_20_FIVE_WEEKS)
              & that_was_given(R_27_10_THAT_WAS_GIVEN,Z_27_A_UKSC_JUDGMENT_41,R_27_12_REASON)
              & for_clr48(R_27_10_THAT_WAS_GIVEN,R_27_16_CLOSING_DOWN)
              & closing_down(R_27_16_CLOSING_DOWN,Z_27_A_UKSC_JUDGMENT_48,R_27_18_PARLIAMENT)
              & for_nim59(R_27_16_CLOSING_DOWN,R_27_20_FIVE_WEEKS) ) )
      & arg0(ARG0)
      & will_be(R_27_2_WILL_BE)
      & prd(R_27_2_WILL_BE,R_27_4_APPARENT)
      & apparent(R_27_4_APPARENT)
      & from(R_27_4_APPARENT,R_27_6_THE_DOCUMENTS)
      & quoted(R_27_8_QUOTED,Z_27_A_UKSC_JUDGMENT_22,R_27_6_THE_DOCUMENTS)
      & nim26(R_27_8_QUOTED,R_27_9_EARLIER) ) ).

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ apparent;{apparent})
                                (PP (P-ROLE from;{from})
                                    (NP (D the;{the})
                                        (NS documents;{document})
                                        (IP-PPL (NP-LGS *)
                                                (VVN;_Tn_ quoted;{quote})
                                                (ADVP-NIM (ADVR earlier;{early}))))))
                      (CP-THT-NSBJ (IP-SUB (C that;{that})
                                           (NP-SBJ (Q no;{no})
                                                   (N reason;{reason}))
                                           (BED;_cat_VePASS_ was;{be})
                                           (IP-PPL-CAT (NP-LGS *)
                                                       (VVN;_Tn.pr_ given;{give[for]})
                                                       (PP-CLR (P-ROLE for;{for})
                                                               (IP-PPL3 (VAG;_phr_Vn<=>p_ closing;{close[down]})
                                                                        (RP down;{down})
                                                                        (NP-OB1;{PARLIAMENT} (NPR Parliament;{Parliament}))
                                                                        (PP-NIM (P-ROLE for;{for})
                                                                                (NP (NUM five;{five})
                                                                                    (NS weeks;{week})))))))))
          (PUNC .))
  (ID 27_a_uksc_judgment))