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,
    ? [Z_2_A_LAW_H15A119_1,R_2_4_PROVISIONS,R_2_3_GENERAL] :
      ( general(R_2_3_GENERAL)
      & z_2_a_law_h15a119_1(Z_2_A_LAW_H15A119_1)
      & nim2(Z_2_A_LAW_H15A119_1,R_2_4_PROVISIONS)
      & provisions(R_2_4_PROVISIONS)
      & attrib9(R_2_4_PROVISIONS,R_2_3_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))