TSPC 112_a_lob

112_a_lob_a02
It was last used a year ago, to deal with the St Pancras rent riots.

( (IP-MAT (NP-SBJ (PRO It;{it}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-NIM (ADV last;{last}))
                      (VVN;__ used;{use})
                      (ADVP-NIM (NP (D a;{a})
                                    (N year;{year}))
                                (ADV ago;{ago})))
          (PUNC ,)
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;__ deal;{deal})
                           (PP-CLR (P-ROLE with;{with})
                                   (NP (D the;{the})
                                       (NPR St;{St})
                                       (NPR Pancras;{Pancras})
                                       (N rent;{rent})
                                       (NS riots;{riot})))))
          (PUNC .))
  (ID 112_a_lob_a02))

arc(r_0112_0002__was,r_0112_0004__used,scope).
arc(r_0112_0004__used,r_0112_0001__It,arg1).
arc(r_0112_0004__used,r_0112_0003__last,nim).
arc(r_0112_0004__used,r_0112_0007__ago,nim).
arc(r_0112_0004__used,z_0112_5009___star_,arg0).
arc(r_0112_0007__ago,r_0112_0005__a_r_0112_0006__year,nim).
arc(r_0112_0010__deal,r_0112_0001__It,arg0).
arc(r_0112_0010__deal,r_0112_0012__the_r_0112_0013__St_r_0112_0014__Pancras_r_0112_0015__rent_r_0112_0016__riots,r_0112_0011__with__clr).
arc(z_0112_5001,r_0112_0002__was,scope).
arc(z_0112_5001,r_0112_0010__deal,restriction).

fof(formula,axiom,
    ? [R_0112_0001__IT,R_0112_0003__LAST,R_0112_0005__A_R_0112_0006__YEAR,R_0112_0007__AGO,Z_0112_5009___STAR_,R_0112_0002__WAS_R_0112_0004__USED,R_0112_0012__THE_R_0112_0013__ST_R_0112_0014__PANCRAS_R_0112_0015__RENT_R_0112_0016__RIOTS,R_0112_0010__DEAL,Z_0112_5001] :
      ( r_0112_0001__It(R_0112_0001__IT)
      & r_0112_0003__last(R_0112_0003__LAST)
      & r_0112_0005__a_r_0112_0006__year(R_0112_0005__A_R_0112_0006__YEAR)
      & r_0112_0012__the_r_0112_0013__St_r_0112_0014__Pancras_r_0112_0015__rent_r_0112_0016__riots(R_0112_0012__THE_R_0112_0013__ST_R_0112_0014__PANCRAS_R_0112_0015__RENT_R_0112_0016__RIOTS)
      & z_0112_5009___star_(Z_0112_5009___STAR_)
      & z_0112_5001(Z_0112_5001)
      & has_conj1(Z_0112_5001,R_0112_0010__DEAL)
      & r_0112_0010__deal(R_0112_0010__DEAL)
      & has_r_0112_0011__with__clr(R_0112_0010__DEAL,R_0112_0012__THE_R_0112_0013__ST_R_0112_0014__PANCRAS_R_0112_0015__RENT_R_0112_0016__RIOTS)
      & has_arg0(R_0112_0010__DEAL,R_0112_0001__IT)
      & has_conj2(Z_0112_5001,R_0112_0002__WAS_R_0112_0004__USED)
      & r_0112_0002__was_r_0112_0004__used(R_0112_0002__WAS_R_0112_0004__USED)
      & has_arg0(R_0112_0002__WAS_R_0112_0004__USED,Z_0112_5009___STAR_)
      & has_nim(R_0112_0002__WAS_R_0112_0004__USED,R_0112_0007__AGO)
      & r_0112_0007__ago(R_0112_0007__AGO)
      & has_nim(R_0112_0007__AGO,R_0112_0005__A_R_0112_0006__YEAR)
      & has_nim(R_0112_0002__WAS_R_0112_0004__USED,R_0112_0003__LAST)
      & has_arg1(R_0112_0002__WAS_R_0112_0004__USED,R_0112_0001__IT) ) ).