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 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] 
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_3 -LRB- n155_a_law_h15a119_6 Correction n155_a_law_h15a119_8 , n155_a_law_h15a119_11 etc. n155_a_law_h15a119_13 -RRB- n155_a_law_h15a119_1 FRAG n155_a_law_h15a119_2 PULB n155_a_law_h15a119_1->n155_a_law_h15a119_2 n155_a_law_h15a119_4 NP n155_a_law_h15a119_1->n155_a_law_h15a119_4 n155_a_law_h15a119_12 PURB n155_a_law_h15a119_1->n155_a_law_h15a119_12 n155_a_law_h15a119_2->n155_a_law_h15a119_3 n155_a_law_h15a119_5 N n155_a_law_h15a119_4->n155_a_law_h15a119_5 n155_a_law_h15a119_7 PUNC n155_a_law_h15a119_4->n155_a_law_h15a119_7 n155_a_law_h15a119_9 ADVP n155_a_law_h15a119_4->n155_a_law_h15a119_9 n155_a_law_h15a119_5->n155_a_law_h15a119_6 n155_a_law_h15a119_7->n155_a_law_h15a119_8 n155_a_law_h15a119_10 ADV n155_a_law_h15a119_9->n155_a_law_h15a119_10 n155_a_law_h15a119_10->n155_a_law_h15a119_11 n155_a_law_h15a119_12->n155_a_law_h15a119_13 
( (FRAG (PULB -LRB-)
        (NP (N Correction;{correction})
            (PUNC ,)
            (ADVP (ADV etc<dot>)))
        (PURB -RRB-))
  (ID 155_a_law_h15a119;126_4))