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 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] 
fof(formula,axiom,
    ? [Z_104_A_LAW_H15A119_1,R_104_2_MAINTENANCE,R_104_4_THE_ACCURACY,R_104_7_DATA] :
      ( data(R_104_7_DATA)
      & z_104_a_law_h15a119_1(Z_104_A_LAW_H15A119_1)
      & nim4(Z_104_A_LAW_H15A119_1,R_104_2_MAINTENANCE)
      & maintenance(R_104_2_MAINTENANCE)
      & of(R_104_2_MAINTENANCE,R_104_4_THE_ACCURACY)
      & the_Accuracy(R_104_4_THE_ACCURACY)
      & of(R_104_4_THE_ACCURACY,R_104_7_DATA) ) ).


n104_a_law_h15a119 n104_a_law_h15a119_3 -LRB- n104_a_law_h15a119_6 Maintenance n104_a_law_h15a119_9 of n104_a_law_h15a119_12 the n104_a_law_h15a119_14 Accuracy n104_a_law_h15a119_17 of n104_a_law_h15a119_20 Data n104_a_law_h15a119_22 -RRB- n104_a_law_h15a119_1 FRAG n104_a_law_h15a119_2 PULB n104_a_law_h15a119_1->n104_a_law_h15a119_2 n104_a_law_h15a119_4 NP n104_a_law_h15a119_1->n104_a_law_h15a119_4 n104_a_law_h15a119_21 PURB n104_a_law_h15a119_1->n104_a_law_h15a119_21 n104_a_law_h15a119_2->n104_a_law_h15a119_3 n104_a_law_h15a119_5 N n104_a_law_h15a119_4->n104_a_law_h15a119_5 n104_a_law_h15a119_7 PP n104_a_law_h15a119_4->n104_a_law_h15a119_7 n104_a_law_h15a119_5->n104_a_law_h15a119_6 n104_a_law_h15a119_8 P-ROLE n104_a_law_h15a119_7->n104_a_law_h15a119_8 n104_a_law_h15a119_10 NP n104_a_law_h15a119_7->n104_a_law_h15a119_10 n104_a_law_h15a119_8->n104_a_law_h15a119_9 n104_a_law_h15a119_11 D n104_a_law_h15a119_10->n104_a_law_h15a119_11 n104_a_law_h15a119_13 N n104_a_law_h15a119_10->n104_a_law_h15a119_13 n104_a_law_h15a119_15 PP n104_a_law_h15a119_10->n104_a_law_h15a119_15 n104_a_law_h15a119_11->n104_a_law_h15a119_12 n104_a_law_h15a119_13->n104_a_law_h15a119_14 n104_a_law_h15a119_16 P-ROLE n104_a_law_h15a119_15->n104_a_law_h15a119_16 n104_a_law_h15a119_18 NP n104_a_law_h15a119_15->n104_a_law_h15a119_18 n104_a_law_h15a119_16->n104_a_law_h15a119_17 n104_a_law_h15a119_19 NS n104_a_law_h15a119_18->n104_a_law_h15a119_19 n104_a_law_h15a119_19->n104_a_law_h15a119_20 n104_a_law_h15a119_21->n104_a_law_h15a119_22 
( (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))