Context                Previous, Next                Top


2_a_law_h15a119
Chapter I General Provisions

n2_a_law_h15a119 n2_a_law_h15a119__1_1_1_1_1 Chapter n2_a_law_h15a119__1_1_1_2_1 I n2_a_law_h15a119__1_2_1_1 General n2_a_law_h15a119__1_3_1 Provisions n2_a_law_h15a119__1 NP n2_a_law_h15a119__1_1 META n2_a_law_h15a119__1->n2_a_law_h15a119__1_1 n2_a_law_h15a119__1_2 ADJP n2_a_law_h15a119__1->n2_a_law_h15a119__1_2 n2_a_law_h15a119__1_3 NS n2_a_law_h15a119__1->n2_a_law_h15a119__1_3 n2_a_law_h15a119__1_1_1 NP n2_a_law_h15a119__1_1->n2_a_law_h15a119__1_1_1 n2_a_law_h15a119__1_1_1_1 N n2_a_law_h15a119__1_1_1->n2_a_law_h15a119__1_1_1_1 n2_a_law_h15a119__1_1_1_2 NUM n2_a_law_h15a119__1_1_1->n2_a_law_h15a119__1_1_1_2 n2_a_law_h15a119__1_1_1_1->n2_a_law_h15a119__1_1_1_1_1 n2_a_law_h15a119__1_1_1_2->n2_a_law_h15a119__1_1_1_2_1 n2_a_law_h15a119__1_2_1 ADJ n2_a_law_h15a119__1_2->n2_a_law_h15a119__1_2_1 n2_a_law_h15a119__1_2_1->n2_a_law_h15a119__1_2_1_1 n2_a_law_h15a119__1_3->n2_a_law_h15a119__1_3_1 
( (NP (META (NP (N Chapter;{chapter})
                (NUM I;{I})))
      (ADJP (ADJ General;{general}))
      (NS Provisions;{provision}))
  (ID 2_a_law_h15a119;2_1))


%3 z_0002_5005 r_0002_0004__Provisions Provisions z_0002_5005->r_0002_0004__Provisions r_0002_0003__General General r_0002_0004__Provisions->r_0002_0003__General [attrib] 
arc(r_0002_0004__Provisions,r_0002_0003__General,attrib).
arc(z_0002_5005,r_0002_0004__Provisions,z_0002_5002).


%3 r_0002_0004__Provisions Provisions r_0002_0003__General General r_0002_0004__Provisions->r_0002_0003__General [attrib] z_0002_5005 z_0002_5005->r_0002_0004__Provisions 
fof(formula,axiom,
    ? [R_0002_0003__GENERAL,R_0002_0004__PROVISIONS,Z_0002_5005] :
      ( r_0002_0003__General(R_0002_0003__GENERAL)
      & z_0002_5005(Z_0002_5005)
      & has_z_0002_5002(Z_0002_5005,R_0002_0004__PROVISIONS)
      & r_0002_0004__Provisions(R_0002_0004__PROVISIONS)
      & has_attrib(R_0002_0004__PROVISIONS,R_0002_0003__GENERAL) ) ).