( (IP-MAT (NP-SBJ (NP-GEN;{MAJOR} (NPR Sir;{Sir})
                                  (NPR John;{John})
                                  (GENM <apos>s))
                  (N evidence;{evidence}))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (NP-SBJ;{MAJOR} (PRO he;{he}))
                              (HVP;_cat_Ve_ has;{have})
                              (IP-PPL-CAT (ADVP-NIM (ADV never;{never}))
                                          (VVN;_Tnt_ known;{know})
                                          (NP-DOB1;{GOV} (D a;{a})
                                                         (N Government;{government}))
                                          (IP-INF-OB1 (TO to;{to})
                                                      (VB;_Tn_ need;{need})
                                                      (NP-OB1 (ADJP (ADVP (ADV as;{as}))
                                                                    (ADJ much;{much})
                                                                    (PP (P-ROLE as;{as})
                                                                        (NP (NUM five;{five})
                                                                            (NS weeks;{week})))))
                                                      (PP-SCON (IP-INF (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 36_a_uksc_judgment))

arc(r_0036_0004__evidence,r_0036_0001__Sir_r_0036_0002__John,gen).
arc(r_0036_0005__is,r_0036_0004__evidence,arg0).
arc(r_0036_0005__is,r_0036_0008__has,prd).
arc(r_0036_0008__has,r_0036_0010__known,scope).
arc(r_0036_0010__known,r_0036_0001__Sir_r_0036_0002__John,arg0).
arc(r_0036_0010__known,r_0036_0009__never,nim).
arc(r_0036_0010__known,z_0036_5012,arg1).
arc(r_0036_0014__need,r_0036_0011__a_r_0036_0012__Government,arg0).
arc(r_0036_0014__need,z_0036_5011,arg1).
arc(r_0036_0016__much,r_0036_0015__as,qual).
arc(r_0036_0016__much,r_0036_0018__five_r_0036_0019__weeks,r_0036_0017__as).
arc(r_0036_0021__put_r_0036_0022__together,r_0036_0025__agenda,arg1).
arc(r_0036_0021__put_r_0036_0022__together,z_0036_5011,arg0).
arc(r_0036_0025__agenda,r_0036_0011__a_r_0036_0012__Government,gen).
arc(r_0036_0025__agenda,r_0036_0024__legislative,attrib).
arc(z_0036_5011,r_0036_0016__much,attrib).
arc(z_0036_5012,r_0036_0014__need,scope).
arc(z_0036_5012,r_0036_0021__put_r_0036_0022__together,restriction).

fof(formula,axiom,
    ? [R_0036_0001__SIR_R_0036_0002__JOHN,R_0036_0004__EVIDENCE,R_0036_0009__NEVER,R_0036_0011__A_R_0036_0012__GOVERNMENT,R_0036_0015__AS,R_0036_0018__FIVE_R_0036_0019__WEEKS,R_0036_0016__MUCH,Z_0036_5011,R_0036_0014__NEED,R_0036_0024__LEGISLATIVE,R_0036_0025__AGENDA,R_0036_0021__PUT_R_0036_0022__TOGETHER,Z_0036_5012,R_0036_0008__HAS_R_0036_0010__KNOWN,R_0036_0005__IS] :
      ( r_0036_0001__Sir_r_0036_0002__John(R_0036_0001__SIR_R_0036_0002__JOHN)
      & r_0036_0009__never(R_0036_0009__NEVER)
      & r_0036_0011__a_r_0036_0012__Government(R_0036_0011__A_R_0036_0012__GOVERNMENT)
      & r_0036_0015__as(R_0036_0015__AS)
      & r_0036_0018__five_r_0036_0019__weeks(R_0036_0018__FIVE_R_0036_0019__WEEKS)
      & r_0036_0024__legislative(R_0036_0024__LEGISLATIVE)
      & r_0036_0005__is(R_0036_0005__IS)
      & has_prd(R_0036_0005__IS,R_0036_0008__HAS_R_0036_0010__KNOWN)
      & r_0036_0008__has_r_0036_0010__known(R_0036_0008__HAS_R_0036_0010__KNOWN)
      & has_arg1(R_0036_0008__HAS_R_0036_0010__KNOWN,Z_0036_5012)
      & z_0036_5012(Z_0036_5012)
      & has_conj1(Z_0036_5012,R_0036_0021__PUT_R_0036_0022__TOGETHER)
      & r_0036_0021__put_r_0036_0022__together(R_0036_0021__PUT_R_0036_0022__TOGETHER)
      & has_arg0(R_0036_0021__PUT_R_0036_0022__TOGETHER,Z_0036_5011)
      & z_0036_5011(Z_0036_5011)
      & has_attrib(Z_0036_5011,R_0036_0016__MUCH)
      & r_0036_0016__much(R_0036_0016__MUCH)
      & has_r_0036_0017__as(R_0036_0016__MUCH,R_0036_0018__FIVE_R_0036_0019__WEEKS)
      & has_qual(R_0036_0016__MUCH,R_0036_0015__AS)
      & has_arg1(R_0036_0021__PUT_R_0036_0022__TOGETHER,R_0036_0025__AGENDA)
      & r_0036_0025__agenda(R_0036_0025__AGENDA)
      & has_attrib(R_0036_0025__AGENDA,R_0036_0024__LEGISLATIVE)
      & has_gen(R_0036_0025__AGENDA,R_0036_0011__A_R_0036_0012__GOVERNMENT)
      & has_conj2(Z_0036_5012,R_0036_0014__NEED)
      & r_0036_0014__need(R_0036_0014__NEED)
      & has_arg1(R_0036_0014__NEED,Z_0036_5011)
      & has_arg0(R_0036_0014__NEED,R_0036_0011__A_R_0036_0012__GOVERNMENT)
      & has_nim(R_0036_0008__HAS_R_0036_0010__KNOWN,R_0036_0009__NEVER)
      & has_arg0(R_0036_0008__HAS_R_0036_0010__KNOWN,R_0036_0001__SIR_R_0036_0002__JOHN)
      & has_arg0(R_0036_0005__IS,R_0036_0004__EVIDENCE)
      & r_0036_0004__evidence(R_0036_0004__EVIDENCE)
      & has_gen(R_0036_0004__EVIDENCE,R_0036_0001__SIR_R_0036_0002__JOHN) ) ).