Context                Previous, Next                Top


155_a_law_h15a119
(Correction, etc.)

%3 r_0155_0002__Correction Correction r_0155_0004__etc_dot_ etc. r_0155_0002__Correction->r_0155_0004__etc_dot_ [qual] z_000_155_a_law_h15a119_1 z_000_155_a_law_h15a119_1->r_0155_0002__Correction [nim] 
arc(r_0155_0002__Correction, r_0155_0004__etc_dot_, qual9).
arc(z_000_155_a_law_h15a119_1, r_0155_0002__Correction, nim4).


%3 z_000_155_a_law_h15a119_1 r_0155_0002__Correction Correction z_000_155_a_law_h15a119_1->r_0155_0002__Correction [nim] r_0155_0004__etc_dot_ etc. r_0155_0002__Correction->r_0155_0004__etc_dot_ [qual] 
fof(formula,axiom,
    ? [Z_155_A_LAW_H15A119_1,R_155_2_CORRECTION,R_155_4_ETC_DOT_] :
      ( etc_dot_(R_155_4_ETC_DOT_)
      & z_155_a_law_h15a119_1(Z_155_A_LAW_H15A119_1)
      & nim4(Z_155_A_LAW_H15A119_1,R_155_2_CORRECTION)
      & correction(R_155_2_CORRECTION)
      & qual9(R_155_2_CORRECTION,R_155_4_ETC_DOT_) ) ).


n155_a_law_h15a119 n155_a_law_h15a119__1_1_1 -LRB- n155_a_law_h15a119__1_2_1_1 Correction n155_a_law_h15a119__1_2_2_1 , n155_a_law_h15a119__1_2_3_1_1 etc. n155_a_law_h15a119__1_3_1 -RRB- n155_a_law_h15a119__1 FRAG n155_a_law_h15a119__1_1 PULB n155_a_law_h15a119__1->n155_a_law_h15a119__1_1 n155_a_law_h15a119__1_2 NP n155_a_law_h15a119__1->n155_a_law_h15a119__1_2 n155_a_law_h15a119__1_3 PURB n155_a_law_h15a119__1->n155_a_law_h15a119__1_3 n155_a_law_h15a119__1_1->n155_a_law_h15a119__1_1_1 n155_a_law_h15a119__1_2_1 N n155_a_law_h15a119__1_2->n155_a_law_h15a119__1_2_1 n155_a_law_h15a119__1_2_2 PUNC n155_a_law_h15a119__1_2->n155_a_law_h15a119__1_2_2 n155_a_law_h15a119__1_2_3 ADVP n155_a_law_h15a119__1_2->n155_a_law_h15a119__1_2_3 n155_a_law_h15a119__1_2_1->n155_a_law_h15a119__1_2_1_1 n155_a_law_h15a119__1_2_2->n155_a_law_h15a119__1_2_2_1 n155_a_law_h15a119__1_2_3_1 ADV n155_a_law_h15a119__1_2_3->n155_a_law_h15a119__1_2_3_1 n155_a_law_h15a119__1_2_3_1->n155_a_law_h15a119__1_2_3_1_1 n155_a_law_h15a119__1_3->n155_a_law_h15a119__1_3_1 
( (FRAG (PULB -LRB-)
        (NP (N Correction;{correction})
            (PUNC ,)
            (ADVP (ADV etc<dot>)))
        (PURB -RRB-))
  (ID 155_a_law_h15a119;126_4))