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 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] 
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_6 Chapter n2_a_law_h15a119_8 I n2_a_law_h15a119_11 General n2_a_law_h15a119_13 Provisions n2_a_law_h15a119_1 FRAG n2_a_law_h15a119_2 NP n2_a_law_h15a119_1->n2_a_law_h15a119_2 n2_a_law_h15a119_3 META n2_a_law_h15a119_2->n2_a_law_h15a119_3 n2_a_law_h15a119_9 ADJP n2_a_law_h15a119_2->n2_a_law_h15a119_9 n2_a_law_h15a119_12 NS n2_a_law_h15a119_2->n2_a_law_h15a119_12 n2_a_law_h15a119_4 NP n2_a_law_h15a119_3->n2_a_law_h15a119_4 n2_a_law_h15a119_5 N n2_a_law_h15a119_4->n2_a_law_h15a119_5 n2_a_law_h15a119_7 NUM n2_a_law_h15a119_4->n2_a_law_h15a119_7 n2_a_law_h15a119_5->n2_a_law_h15a119_6 n2_a_law_h15a119_7->n2_a_law_h15a119_8 n2_a_law_h15a119_10 ADJ n2_a_law_h15a119_9->n2_a_law_h15a119_10 n2_a_law_h15a119_10->n2_a_law_h15a119_11 n2_a_law_h15a119_12->n2_a_law_h15a119_13 
( (FRAG (NP (META (NP (N Chapter;{chapter})
                      (NUM I;{I})))
            (ADJP (ADJ General;{general}))
            (NS Provisions;{provision})))
  (ID 2_a_law_h15a119;2_1))