Context                Previous, Next                Top


2_a_law_h15a119
Chapter I General Provisions

%3 r_0002_0004__Provisions Provisions r_0002_0003__General General r_0002_0004__Provisions->r_0002_0003__General [attrib] z_000_2_a_law_h15a119_1 z_000_2_a_law_h15a119_1->r_0002_0004__Provisions [nim] 
arc(r_0002_0004__Provisions, r_0002_0003__General, attrib9).
arc(z_000_2_a_law_h15a119_1, r_0002_0004__Provisions, nim2).


%3 z_000_2_a_law_h15a119_1 r_0002_0004__Provisions Provisions z_000_2_a_law_h15a119_1->r_0002_0004__Provisions [nim] r_0002_0003__General General r_0002_0004__Provisions->r_0002_0003__General [attrib] 
fof(formula,axiom,
    ? [R_0002_0003__GENERAL,R_0002_0004__PROVISIONS,Z_000_2_A_LAW_H15A119_1] :
      ( r_0002_0003__General(R_0002_0003__GENERAL)
      & z_000_2_a_law_h15a119_1(Z_000_2_A_LAW_H15A119_1)
      & has_nim2(Z_000_2_A_LAW_H15A119_1,R_0002_0004__PROVISIONS)
      & r_0002_0004__Provisions(R_0002_0004__PROVISIONS)
      & has_attrib9(R_0002_0004__PROVISIONS,R_0002_0003__GENERAL) ) ).


n2_a_law_h15a119 n2_a_law_h15a119__1_1_1_1_1_1 Chapter n2_a_law_h15a119__1_1_1_1_2_1 I n2_a_law_h15a119__1_1_2_1_1 General n2_a_law_h15a119__1_1_3_1 Provisions n2_a_law_h15a119__1 FRAG n2_a_law_h15a119__1_1 NP n2_a_law_h15a119__1->n2_a_law_h15a119__1_1 n2_a_law_h15a119__1_1_1 META n2_a_law_h15a119__1_1->n2_a_law_h15a119__1_1_1 n2_a_law_h15a119__1_1_2 ADJP n2_a_law_h15a119__1_1->n2_a_law_h15a119__1_1_2 n2_a_law_h15a119__1_1_3 NS n2_a_law_h15a119__1_1->n2_a_law_h15a119__1_1_3 n2_a_law_h15a119__1_1_1_1 NP n2_a_law_h15a119__1_1_1->n2_a_law_h15a119__1_1_1_1 n2_a_law_h15a119__1_1_1_1_1 N n2_a_law_h15a119__1_1_1_1->n2_a_law_h15a119__1_1_1_1_1 n2_a_law_h15a119__1_1_1_1_2 NUM n2_a_law_h15a119__1_1_1_1->n2_a_law_h15a119__1_1_1_1_2 n2_a_law_h15a119__1_1_1_1_1->n2_a_law_h15a119__1_1_1_1_1_1 n2_a_law_h15a119__1_1_1_1_2->n2_a_law_h15a119__1_1_1_1_2_1 n2_a_law_h15a119__1_1_2_1 ADJ n2_a_law_h15a119__1_1_2->n2_a_law_h15a119__1_1_2_1 n2_a_law_h15a119__1_1_2_1->n2_a_law_h15a119__1_1_2_1_1 n2_a_law_h15a119__1_1_3->n2_a_law_h15a119__1_1_3_1 
( (FRAG (NP (META (NP (N Chapter;{chapter})
                      (NUM I;{I})))
            (ADJP (ADJ General;{general}))
            (NS Provisions;{provision})))
  (ID 2_a_law_h15a119;2_1))