Context                Previous, Next                Top


320_a_law_h15a119
Supplementary Provisions (Extract)

%3 r_0320_0002__Provisions Provisions r_0320_0001__Supplementary Supplementary r_0320_0002__Provisions->r_0320_0001__Supplementary [attrib] z_000_320_a_law_h15a119_1 z_000_320_a_law_h15a119_1->r_0320_0002__Provisions [nim] z_000_320_a_law_h15a119_10 z_000_320_a_law_h15a119_10->r_0320_0002__Provisions [arg0] r_0320_0004__Extract Extract z_000_320_a_law_h15a119_10->r_0320_0004__Extract [prd] 
arc(r_0320_0002__Provisions, r_0320_0001__Supplementary, attrib3).
arc(z_000_320_a_law_h15a119_1, r_0320_0002__Provisions, nim2).
arc(z_000_320_a_law_h15a119_10, r_0320_0002__Provisions, arg0).
arc(z_000_320_a_law_h15a119_10, r_0320_0004__Extract, prd).


%3 z_000_320_a_law_h15a119_10 r_0320_0004__Extract Extract z_000_320_a_law_h15a119_10->r_0320_0004__Extract [prd] r_0320_0002__Provisions Provisions z_000_320_a_law_h15a119_10->r_0320_0002__Provisions [arg0] r_0320_0001__Supplementary Supplementary r_0320_0002__Provisions->r_0320_0001__Supplementary [attrib] z_000_320_a_law_h15a119_1 z_000_320_a_law_h15a119_1->r_0320_0002__Provisions [nim] 
fof(formula,axiom,
    ? [R_0320_0001__SUPPLEMENTARY,R_0320_0002__PROVISIONS,Z_000_320_A_LAW_H15A119_1,R_0320_0004__EXTRACT,Z_000_320_A_LAW_H15A119_10] :
      ( r_0320_0001__Supplementary(R_0320_0001__SUPPLEMENTARY)
      & r_0320_0004__Extract(R_0320_0004__EXTRACT)
      & z_000_320_a_law_h15a119_10(Z_000_320_A_LAW_H15A119_10)
      & has_prd(Z_000_320_A_LAW_H15A119_10,R_0320_0004__EXTRACT)
      & has_arg0(Z_000_320_A_LAW_H15A119_10,R_0320_0002__PROVISIONS)
      & r_0320_0002__Provisions(R_0320_0002__PROVISIONS)
      & has_attrib3(R_0320_0002__PROVISIONS,R_0320_0001__SUPPLEMENTARY)
      & z_000_320_a_law_h15a119_1(Z_000_320_A_LAW_H15A119_1)
      & has_nim2(Z_000_320_A_LAW_H15A119_1,R_0320_0002__PROVISIONS) ) ).


n320_a_law_h15a119 n320_a_law_h15a119__1_1_1_1_1 Supplementary n320_a_law_h15a119__1_1_2_1 Provisions n320_a_law_h15a119__1_1_3_1 -LRB- n320_a_law_h15a119__1_1_4_1_1_1 Extract n320_a_law_h15a119__1_2_1 -RRB- n320_a_law_h15a119__1 FRAG n320_a_law_h15a119__1_1 NP n320_a_law_h15a119__1->n320_a_law_h15a119__1_1 n320_a_law_h15a119__1_2 PURB n320_a_law_h15a119__1->n320_a_law_h15a119__1_2 n320_a_law_h15a119__1_1_1 ADJP n320_a_law_h15a119__1_1->n320_a_law_h15a119__1_1_1 n320_a_law_h15a119__1_1_2 NS n320_a_law_h15a119__1_1->n320_a_law_h15a119__1_1_2 n320_a_law_h15a119__1_1_3 PULB n320_a_law_h15a119__1_1->n320_a_law_h15a119__1_1_3 n320_a_law_h15a119__1_1_4 IP-PPL n320_a_law_h15a119__1_1->n320_a_law_h15a119__1_1_4 n320_a_law_h15a119__1_1_1_1 ADJ n320_a_law_h15a119__1_1_1->n320_a_law_h15a119__1_1_1_1 n320_a_law_h15a119__1_1_1_1->n320_a_law_h15a119__1_1_1_1_1 n320_a_law_h15a119__1_1_2->n320_a_law_h15a119__1_1_2_1 n320_a_law_h15a119__1_1_3->n320_a_law_h15a119__1_1_3_1 n320_a_law_h15a119__1_1_4_1 NP-PRD n320_a_law_h15a119__1_1_4->n320_a_law_h15a119__1_1_4_1 n320_a_law_h15a119__1_1_4_1_1 N n320_a_law_h15a119__1_1_4_1->n320_a_law_h15a119__1_1_4_1_1 n320_a_law_h15a119__1_1_4_1_1->n320_a_law_h15a119__1_1_4_1_1_1 n320_a_law_h15a119__1_2->n320_a_law_h15a119__1_2_1 
( (FRAG (NP (ADJP (ADJ Supplementary;{supplementary}))
            (NS Provisions;{provision})
            (PULB -LRB-)
            (IP-PPL (NP-PRD (N Extract;{extract}))))
        (PURB -RRB-))
  (ID 320_a_law_h15a119;246))