Context                Previous, Next                Top


320_a_law_h15a119
Supplementary Provisions (Extract)

n320_a_law_h15a119 n320_a_law_h15a119__1_1_1_1 Supplementary n320_a_law_h15a119__1_2_1 Provisions n320_a_law_h15a119__1_3_1 -LRB- n320_a_law_h15a119__1_4_1_1_1 Extract n320_a_law_h15a119__1_5_1 -RRB- n320_a_law_h15a119__1 NP n320_a_law_h15a119__1_1 ADJP n320_a_law_h15a119__1->n320_a_law_h15a119__1_1 n320_a_law_h15a119__1_2 NS n320_a_law_h15a119__1->n320_a_law_h15a119__1_2 n320_a_law_h15a119__1_3 PULB n320_a_law_h15a119__1->n320_a_law_h15a119__1_3 n320_a_law_h15a119__1_4 PRN n320_a_law_h15a119__1->n320_a_law_h15a119__1_4 n320_a_law_h15a119__1_5 PURB n320_a_law_h15a119__1->n320_a_law_h15a119__1_5 n320_a_law_h15a119__1_1_1 ADJ n320_a_law_h15a119__1_1->n320_a_law_h15a119__1_1_1 n320_a_law_h15a119__1_1_1->n320_a_law_h15a119__1_1_1_1 n320_a_law_h15a119__1_2->n320_a_law_h15a119__1_2_1 n320_a_law_h15a119__1_3->n320_a_law_h15a119__1_3_1 n320_a_law_h15a119__1_4_1 NP n320_a_law_h15a119__1_4->n320_a_law_h15a119__1_4_1 n320_a_law_h15a119__1_4_1_1 N n320_a_law_h15a119__1_4_1->n320_a_law_h15a119__1_4_1_1 n320_a_law_h15a119__1_4_1_1->n320_a_law_h15a119__1_4_1_1_1 n320_a_law_h15a119__1_5->n320_a_law_h15a119__1_5_1 
( (NP (ADJP (ADJ Supplementary;{supplementary}))
      (NS Provisions;{provision})
      (PULB -LRB-)
      (PRN (NP (N Extract;{extract})))
      (PURB -RRB-))
  (ID 320_a_law_h15a119;246))


%3 z_0320_5008 r_0320_0002__Provisions Provisions z_0320_5008->r_0320_0002__Provisions r_0320_0001__Supplementary Supplementary r_0320_0002__Provisions->r_0320_0001__Supplementary [attrib] z_0320_5006 z_0320_5006->r_0320_0002__Provisions [arg0] r_0320_0004__Extract Extract z_0320_5006->r_0320_0004__Extract [prd] 
arc(r_0320_0002__Provisions,r_0320_0001__Supplementary,attrib).
arc(z_0320_5006,r_0320_0002__Provisions,arg0).
arc(z_0320_5006,r_0320_0004__Extract,prd).
arc(z_0320_5008,r_0320_0002__Provisions,z_0320_5002).


%3 r_0320_0002__Provisions Provisions r_0320_0001__Supplementary Supplementary r_0320_0002__Provisions->r_0320_0001__Supplementary [attrib] z_0320_5006 z_0320_5006->r_0320_0002__Provisions [arg0] r_0320_0004__Extract Extract z_0320_5006->r_0320_0004__Extract [prd] z_0320_5008 z_0320_5008->r_0320_0002__Provisions 
fof(formula,axiom,
    ? [R_0320_0001__SUPPLEMENTARY,R_0320_0002__PROVISIONS,R_0320_0004__EXTRACT,Z_0320_5006,Z_0320_5008] :
      ( r_0320_0001__Supplementary(R_0320_0001__SUPPLEMENTARY)
      & r_0320_0004__Extract(R_0320_0004__EXTRACT)
      & z_0320_5008(Z_0320_5008)
      & has_z_0320_5002(Z_0320_5008,R_0320_0002__PROVISIONS)
      & r_0320_0002__Provisions(R_0320_0002__PROVISIONS)
      & has_attrib(R_0320_0002__PROVISIONS,R_0320_0001__SUPPLEMENTARY)
      & z_0320_5006(Z_0320_5006)
      & has_prd(Z_0320_5006,R_0320_0004__EXTRACT)
      & has_arg0(Z_0320_5006,R_0320_0002__PROVISIONS) ) ).