Context                Previous, Next                Top


104_a_law_h15a119
(Maintenance of the Accuracy of Data)

%3 r_0104_0002__Maintenance Maintenance r_0104_0004__the_r_0104_0005__Accuracy the Accuracy r_0104_0002__Maintenance->r_0104_0004__the_r_0104_0005__Accuracy of r_0104_0007__Data Data r_0104_0004__the_r_0104_0005__Accuracy->r_0104_0007__Data of z_000_104_a_law_h15a119_1 z_000_104_a_law_h15a119_1->r_0104_0002__Maintenance [nim] 
arc(r_0104_0002__Maintenance, r_0104_0004__the_r_0104_0005__Accuracy, r_0104_0003__of).
arc(r_0104_0004__the_r_0104_0005__Accuracy, r_0104_0007__Data, r_0104_0006__of).
arc(z_000_104_a_law_h15a119_1, r_0104_0002__Maintenance, nim4).


%3 z_000_104_a_law_h15a119_1 r_0104_0002__Maintenance Maintenance z_000_104_a_law_h15a119_1->r_0104_0002__Maintenance [nim] r_0104_0004__the_r_0104_0005__Accuracy the Accuracy r_0104_0002__Maintenance->r_0104_0004__the_r_0104_0005__Accuracy of r_0104_0007__Data Data r_0104_0004__the_r_0104_0005__Accuracy->r_0104_0007__Data of 
fof(formula,axiom,
    ? [R_0104_0007__DATA,R_0104_0004__THE_R_0104_0005__ACCURACY,R_0104_0002__MAINTENANCE,Z_000_104_A_LAW_H15A119_1] :
      ( r_0104_0007__Data(R_0104_0007__DATA)
      & z_000_104_a_law_h15a119_1(Z_000_104_A_LAW_H15A119_1)
      & has_nim4(Z_000_104_A_LAW_H15A119_1,R_0104_0002__MAINTENANCE)
      & r_0104_0002__Maintenance(R_0104_0002__MAINTENANCE)
      & has_r_0104_0003__of(R_0104_0002__MAINTENANCE,R_0104_0004__THE_R_0104_0005__ACCURACY)
      & r_0104_0004__the_r_0104_0005__Accuracy(R_0104_0004__THE_R_0104_0005__ACCURACY)
      & has_r_0104_0006__of(R_0104_0004__THE_R_0104_0005__ACCURACY,R_0104_0007__DATA) ) ).


n104_a_law_h15a119 n104_a_law_h15a119__1_1_1 -LRB- n104_a_law_h15a119__1_2_1_1 Maintenance n104_a_law_h15a119__1_2_2_1_1 of n104_a_law_h15a119__1_2_2_2_1_1 the n104_a_law_h15a119__1_2_2_2_2_1 Accuracy n104_a_law_h15a119__1_2_2_2_3_1_1 of n104_a_law_h15a119__1_2_2_2_3_2_1_1 Data n104_a_law_h15a119__1_3_1 -RRB- n104_a_law_h15a119__1 FRAG n104_a_law_h15a119__1_1 PULB n104_a_law_h15a119__1->n104_a_law_h15a119__1_1 n104_a_law_h15a119__1_2 NP n104_a_law_h15a119__1->n104_a_law_h15a119__1_2 n104_a_law_h15a119__1_3 PURB n104_a_law_h15a119__1->n104_a_law_h15a119__1_3 n104_a_law_h15a119__1_1->n104_a_law_h15a119__1_1_1 n104_a_law_h15a119__1_2_1 N n104_a_law_h15a119__1_2->n104_a_law_h15a119__1_2_1 n104_a_law_h15a119__1_2_2 PP n104_a_law_h15a119__1_2->n104_a_law_h15a119__1_2_2 n104_a_law_h15a119__1_2_1->n104_a_law_h15a119__1_2_1_1 n104_a_law_h15a119__1_2_2_1 P-ROLE n104_a_law_h15a119__1_2_2->n104_a_law_h15a119__1_2_2_1 n104_a_law_h15a119__1_2_2_2 NP n104_a_law_h15a119__1_2_2->n104_a_law_h15a119__1_2_2_2 n104_a_law_h15a119__1_2_2_1->n104_a_law_h15a119__1_2_2_1_1 n104_a_law_h15a119__1_2_2_2_1 D n104_a_law_h15a119__1_2_2_2->n104_a_law_h15a119__1_2_2_2_1 n104_a_law_h15a119__1_2_2_2_2 N n104_a_law_h15a119__1_2_2_2->n104_a_law_h15a119__1_2_2_2_2 n104_a_law_h15a119__1_2_2_2_3 PP n104_a_law_h15a119__1_2_2_2->n104_a_law_h15a119__1_2_2_2_3 n104_a_law_h15a119__1_2_2_2_1->n104_a_law_h15a119__1_2_2_2_1_1 n104_a_law_h15a119__1_2_2_2_2->n104_a_law_h15a119__1_2_2_2_2_1 n104_a_law_h15a119__1_2_2_2_3_1 P-ROLE n104_a_law_h15a119__1_2_2_2_3->n104_a_law_h15a119__1_2_2_2_3_1 n104_a_law_h15a119__1_2_2_2_3_2 NP n104_a_law_h15a119__1_2_2_2_3->n104_a_law_h15a119__1_2_2_2_3_2 n104_a_law_h15a119__1_2_2_2_3_1->n104_a_law_h15a119__1_2_2_2_3_1_1 n104_a_law_h15a119__1_2_2_2_3_2_1 NS n104_a_law_h15a119__1_2_2_2_3_2->n104_a_law_h15a119__1_2_2_2_3_2_1 n104_a_law_h15a119__1_2_2_2_3_2_1->n104_a_law_h15a119__1_2_2_2_3_2_1_1 n104_a_law_h15a119__1_3->n104_a_law_h15a119__1_3_1 
( (FRAG (PULB -LRB-)
        (NP (N Maintenance;{maintenance})
            (PP (P-ROLE of;{of})
                (NP (D the;{the})
                    (N Accuracy;{accuracy})
                    (PP (P-ROLE of;{of})
                        (NP (NS Data;{data}))))))
        (PURB -RRB-))
  (ID 104_a_law_h15a119;84_4))