Context                Previous, Next                Top


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

%3 r_0112_0002__was was r_0112_0004__used used r_0112_0002__was->r_0112_0004__used [scope] r_0112_0001__It It r_0112_0004__used->r_0112_0001__It [arg1] r_0112_0003__last last r_0112_0004__used->r_0112_0003__last [nim] r_0112_0007__ago ago r_0112_0004__used->r_0112_0007__ago [nim] z_000_112_a_lob_a02_8 r_0112_0004__used->z_000_112_a_lob_a02_8 [arg0] r_0112_0005__a_r_0112_0006__year a year r_0112_0007__ago->r_0112_0005__a_r_0112_0006__year [nim] r_0112_0009__to_r_0112_0010__deal to deal r_0112_0009__to_r_0112_0010__deal->r_0112_0001__It [arg0] r_0112_0012__the_r_0112_0013__St_r_0112_0014__Pancras_r_0112_0015__rent_r_0112_0016__riots the St Pancras rent riots r_0112_0009__to_r_0112_0010__deal->r_0112_0012__the_r_0112_0013__St_r_0112_0014__Pancras_r_0112_0015__rent_r_0112_0016__riots with [clr] z_000_112_a_lob_a02_25 z_000_112_a_lob_a02_25->r_0112_0002__was [scope] z_000_112_a_lob_a02_25->r_0112_0009__to_r_0112_0010__deal [restriction] 
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, nim10).
arc(r_0112_0004__used, r_0112_0007__ago, nim15).
arc(r_0112_0004__used, z_000_112_a_lob_a02_8, arg0).
arc(r_0112_0007__ago, r_0112_0005__a_r_0112_0006__year, nim16).
arc(r_0112_0009__to_r_0112_0010__deal, r_0112_0001__It, arg0).
arc(r_0112_0009__to_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_clr34).
arc(z_000_112_a_lob_a02_25, r_0112_0002__was, scope).
arc(z_000_112_a_lob_a02_25, r_0112_0009__to_r_0112_0010__deal, restriction).


%3 z_000_112_a_lob_a02_25 r_0112_0009__to_r_0112_0010__deal to deal z_000_112_a_lob_a02_25->r_0112_0009__to_r_0112_0010__deal [conj1] r_0112_0002__was_r_0112_0004__used was used z_000_112_a_lob_a02_25->r_0112_0002__was_r_0112_0004__used [conj2] r_0112_0012__the_r_0112_0013__St_r_0112_0014__Pancras_r_0112_0015__rent_r_0112_0016__riots the St Pancras rent riots r_0112_0009__to_r_0112_0010__deal->r_0112_0012__the_r_0112_0013__St_r_0112_0014__Pancras_r_0112_0015__rent_r_0112_0016__riots with [clr] r_0112_0001__It It r_0112_0009__to_r_0112_0010__deal->r_0112_0001__It [arg0] r_0112_0002__was_r_0112_0004__used->r_0112_0001__It [arg1] r_0112_0007__ago ago r_0112_0002__was_r_0112_0004__used->r_0112_0007__ago [nim] z_000_112_a_lob_a02_8 r_0112_0002__was_r_0112_0004__used->z_000_112_a_lob_a02_8 [arg0] r_0112_0003__last last r_0112_0002__was_r_0112_0004__used->r_0112_0003__last [nim] r_0112_0005__a_r_0112_0006__year a year r_0112_0007__ago->r_0112_0005__a_r_0112_0006__year [nim] 
fof(formula,axiom,
    ? [Z_112_A_LOB_A02_25,R_112_9_TO_DEAL,R_112_12_THE_ST_PANCRAS_RENT_RIOTS,R_112_2_WAS_USED,Z_112_A_LOB_A02_8,R_112_1_IT,R_112_3_LAST,R_112_7_AGO,R_112_5_A_YEAR] :
      ( the_St_Pancras_rent_riots(R_112_12_THE_ST_PANCRAS_RENT_RIOTS)
      & it(R_112_1_IT)
      & last(R_112_3_LAST)
      & a_year(R_112_5_A_YEAR)
      & z_112_a_lob_a02_25(Z_112_A_LOB_A02_25)
      & conj1(Z_112_A_LOB_A02_25,R_112_9_TO_DEAL)
      & to_deal(R_112_9_TO_DEAL,R_112_1_IT)
      & with_clr34(R_112_9_TO_DEAL,R_112_12_THE_ST_PANCRAS_RENT_RIOTS)
      & conj2(Z_112_A_LOB_A02_25,R_112_2_WAS_USED)
      & was_used(R_112_2_WAS_USED,Z_112_A_LOB_A02_8,R_112_1_IT)
      & nim10(R_112_2_WAS_USED,R_112_3_LAST)
      & nim15(R_112_2_WAS_USED,R_112_7_AGO)
      & ago(R_112_7_AGO)
      & nim16(R_112_7_AGO,R_112_5_A_YEAR) ) ).


n112_a_lob_a02 n112_a_lob_a02__1_1_1_1 It n112_a_lob_a02__1_2_1 was n112_a_lob_a02__1_3_1_1 * n112_a_lob_a02__1_3_2_1_1 last n112_a_lob_a02__1_3_3_1 used n112_a_lob_a02__1_3_4_1_1_1 a n112_a_lob_a02__1_3_4_1_2_1 year n112_a_lob_a02__1_3_4_2_1 ago n112_a_lob_a02__1_4_1 , n112_a_lob_a02__1_5_1_1_1 to n112_a_lob_a02__1_5_1_2_1 deal n112_a_lob_a02__1_5_1_3_1_1 with n112_a_lob_a02__1_5_1_3_2_1_1 the n112_a_lob_a02__1_5_1_3_2_2_1 St n112_a_lob_a02__1_5_1_3_2_3_1 Pancras n112_a_lob_a02__1_5_1_3_2_4_1 rent n112_a_lob_a02__1_5_1_3_2_5_1 riots n112_a_lob_a02__1_6_1 . n112_a_lob_a02__1 IP-MAT n112_a_lob_a02__1_1 NP-SBJ n112_a_lob_a02__1->n112_a_lob_a02__1_1 n112_a_lob_a02__1_2 BED;_cat_VePASS_ n112_a_lob_a02__1->n112_a_lob_a02__1_2 n112_a_lob_a02__1_3 IP-PPL-CAT n112_a_lob_a02__1->n112_a_lob_a02__1_3 n112_a_lob_a02__1_4 PUNC n112_a_lob_a02__1->n112_a_lob_a02__1_4 n112_a_lob_a02__1_5 PP-SCON n112_a_lob_a02__1->n112_a_lob_a02__1_5 n112_a_lob_a02__1_6 PUNC n112_a_lob_a02__1->n112_a_lob_a02__1_6 n112_a_lob_a02__1_1_1 PRO n112_a_lob_a02__1_1->n112_a_lob_a02__1_1_1 n112_a_lob_a02__1_1_1->n112_a_lob_a02__1_1_1_1 n112_a_lob_a02__1_2->n112_a_lob_a02__1_2_1 n112_a_lob_a02__1_3_1 NP-LGS n112_a_lob_a02__1_3->n112_a_lob_a02__1_3_1 n112_a_lob_a02__1_3_2 ADVP-NIM n112_a_lob_a02__1_3->n112_a_lob_a02__1_3_2 n112_a_lob_a02__1_3_3 VVN;__ n112_a_lob_a02__1_3->n112_a_lob_a02__1_3_3 n112_a_lob_a02__1_3_4 ADVP-NIM n112_a_lob_a02__1_3->n112_a_lob_a02__1_3_4 n112_a_lob_a02__1_3_1->n112_a_lob_a02__1_3_1_1 n112_a_lob_a02__1_3_2_1 ADV n112_a_lob_a02__1_3_2->n112_a_lob_a02__1_3_2_1 n112_a_lob_a02__1_3_2_1->n112_a_lob_a02__1_3_2_1_1 n112_a_lob_a02__1_3_3->n112_a_lob_a02__1_3_3_1 n112_a_lob_a02__1_3_4_1 NP n112_a_lob_a02__1_3_4->n112_a_lob_a02__1_3_4_1 n112_a_lob_a02__1_3_4_2 ADV n112_a_lob_a02__1_3_4->n112_a_lob_a02__1_3_4_2 n112_a_lob_a02__1_3_4_1_1 D n112_a_lob_a02__1_3_4_1->n112_a_lob_a02__1_3_4_1_1 n112_a_lob_a02__1_3_4_1_2 N n112_a_lob_a02__1_3_4_1->n112_a_lob_a02__1_3_4_1_2 n112_a_lob_a02__1_3_4_1_1->n112_a_lob_a02__1_3_4_1_1_1 n112_a_lob_a02__1_3_4_1_2->n112_a_lob_a02__1_3_4_1_2_1 n112_a_lob_a02__1_3_4_2->n112_a_lob_a02__1_3_4_2_1 n112_a_lob_a02__1_4->n112_a_lob_a02__1_4_1 n112_a_lob_a02__1_5_1 IP-INF n112_a_lob_a02__1_5->n112_a_lob_a02__1_5_1 n112_a_lob_a02__1_5_1_1 TO n112_a_lob_a02__1_5_1->n112_a_lob_a02__1_5_1_1 n112_a_lob_a02__1_5_1_2 VB;__ n112_a_lob_a02__1_5_1->n112_a_lob_a02__1_5_1_2 n112_a_lob_a02__1_5_1_3 PP-CLR n112_a_lob_a02__1_5_1->n112_a_lob_a02__1_5_1_3 n112_a_lob_a02__1_5_1_1->n112_a_lob_a02__1_5_1_1_1 n112_a_lob_a02__1_5_1_2->n112_a_lob_a02__1_5_1_2_1 n112_a_lob_a02__1_5_1_3_1 P-ROLE n112_a_lob_a02__1_5_1_3->n112_a_lob_a02__1_5_1_3_1 n112_a_lob_a02__1_5_1_3_2 NP n112_a_lob_a02__1_5_1_3->n112_a_lob_a02__1_5_1_3_2 n112_a_lob_a02__1_5_1_3_1->n112_a_lob_a02__1_5_1_3_1_1 n112_a_lob_a02__1_5_1_3_2_1 D n112_a_lob_a02__1_5_1_3_2->n112_a_lob_a02__1_5_1_3_2_1 n112_a_lob_a02__1_5_1_3_2_2 NPR n112_a_lob_a02__1_5_1_3_2->n112_a_lob_a02__1_5_1_3_2_2 n112_a_lob_a02__1_5_1_3_2_3 NPR n112_a_lob_a02__1_5_1_3_2->n112_a_lob_a02__1_5_1_3_2_3 n112_a_lob_a02__1_5_1_3_2_4 N n112_a_lob_a02__1_5_1_3_2->n112_a_lob_a02__1_5_1_3_2_4 n112_a_lob_a02__1_5_1_3_2_5 NS n112_a_lob_a02__1_5_1_3_2->n112_a_lob_a02__1_5_1_3_2_5 n112_a_lob_a02__1_5_1_3_2_1->n112_a_lob_a02__1_5_1_3_2_1_1 n112_a_lob_a02__1_5_1_3_2_2->n112_a_lob_a02__1_5_1_3_2_2_1 n112_a_lob_a02__1_5_1_3_2_3->n112_a_lob_a02__1_5_1_3_2_3_1 n112_a_lob_a02__1_5_1_3_2_4->n112_a_lob_a02__1_5_1_3_2_4_1 n112_a_lob_a02__1_5_1_3_2_5->n112_a_lob_a02__1_5_1_3_2_5_1 n112_a_lob_a02__1_6->n112_a_lob_a02__1_6_1 
( (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))