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,
    ? [R_0155_0004__ETC_DOT_,R_0155_0002__CORRECTION,Z_000_155_A_LAW_H15A119_1] :
      ( r_0155_0004__etc_dot_(R_0155_0004__ETC_DOT_)
      & z_000_155_a_law_h15a119_1(Z_000_155_A_LAW_H15A119_1)
      & has_nim4(Z_000_155_A_LAW_H15A119_1,R_0155_0002__CORRECTION)
      & r_0155_0002__Correction(R_0155_0002__CORRECTION)
      & has_qual9(R_0155_0002__CORRECTION,R_0155_0004__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))