TSPC 33_a_uksc

33_a_uksc_judgment
Departments bid for the Bills they would like to have in the next session.

( (IP-MAT (NP-SBJ;{DEPTS} (N Departments;{department}))
          (VBP;_Ipr_ bid;{bid[for]})
          (PP-CLR (P-ROLE for;{for})
                  (NP (D the;{the})
                      (NS Bills;{bill})
                      (IP-REL (NP-SBJ;{DEPTS} (PRO they;{they}))
                              (MD;_cat_Vi_ would;{will})
                              (IP-INF-CAT (VB;_Tt_ like;{like})
                                          (IP-INF-OB1 (NP-OB1 *T*)
                                                      (TO to;{to})
                                                      (HV;_Tn_ have;{have})
                                                      (PP-NIM (P-ROLE in;{in})
                                                              (NP (D the;{the})
                                                                  (ADJP (ADJ next;{next}))
                                                                  (N session;{session}))))))))
          (PUNC .))
  (ID 33_a_uksc_judgment))

arc(r_0033_0002__bid_r_0033_0003__for,r_0033_0001__Departments,arg0).
arc(r_0033_0002__bid_r_0033_0003__for,r_0033_0004__the_r_0033_0005__Bills,arg1).
arc(r_0033_0007__would,r_0033_0008__like,scope).
arc(r_0033_0008__like,r_0033_0001__Departments,arg0).
arc(r_0033_0008__like,r_0033_0010__have,arg1).
arc(r_0033_0010__have,r_0033_0001__Departments,arg0).
arc(r_0033_0010__have,r_0033_0004__the_r_0033_0005__Bills,inv_arg1).
arc(r_0033_0010__have,r_0033_0012__the_r_0033_0014__session,r_0033_0011__in__nim).
arc(r_0033_0012__the_r_0033_0014__session,r_0033_0013__next,attrib).

fof(formula,axiom,
    ? [R_0033_0001__DEPARTMENTS,R_0033_0013__NEXT,R_0033_0012__THE_R_0033_0014__SESSION,R_0033_0010__HAVE,R_0033_0004__THE_R_0033_0005__BILLS,R_0033_0002__BID_R_0033_0003__FOR,R_0033_0007__WOULD_R_0033_0008__LIKE] :
      ( r_0033_0001__Departments(R_0033_0001__DEPARTMENTS)
      & r_0033_0013__next(R_0033_0013__NEXT)
      & r_0033_0007__would_r_0033_0008__like(R_0033_0007__WOULD_R_0033_0008__LIKE)
      & has_arg1(R_0033_0007__WOULD_R_0033_0008__LIKE,R_0033_0010__HAVE)
      & r_0033_0010__have(R_0033_0010__HAVE)
      & has_r_0033_0011__in__nim(R_0033_0010__HAVE,R_0033_0012__THE_R_0033_0014__SESSION)
      & r_0033_0012__the_r_0033_0014__session(R_0033_0012__THE_R_0033_0014__SESSION)
      & has_attrib(R_0033_0012__THE_R_0033_0014__SESSION,R_0033_0013__NEXT)
      & has_arg0(R_0033_0010__HAVE,R_0033_0001__DEPARTMENTS)
      & has_arg0(R_0033_0007__WOULD_R_0033_0008__LIKE,R_0033_0001__DEPARTMENTS)
      & r_0033_0002__bid_r_0033_0003__for(R_0033_0002__BID_R_0033_0003__FOR)
      & has_arg1(R_0033_0002__BID_R_0033_0003__FOR,R_0033_0004__THE_R_0033_0005__BILLS)
      & r_0033_0004__the_r_0033_0005__Bills(R_0033_0004__THE_R_0033_0005__BILLS)
      & has_inv_arg1(R_0033_0004__THE_R_0033_0005__BILLS,R_0033_0010__HAVE)
      & has_arg0(R_0033_0002__BID_R_0033_0003__FOR,R_0033_0001__DEPARTMENTS) ) ).