Context                Previous, Next                Top


104_a_law_h15a119
(Maintenance of the Accuracy of 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))


%3 z_0104_5006 r_0104_0002__Maintenance Maintenance z_0104_5006->r_0104_0002__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 
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_0104_5006,r_0104_0002__Maintenance,z_0104_5002).


%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_0104_5006 z_0104_5006->r_0104_0002__Maintenance 
fof(formula,axiom,
    ? [R_0104_0007__DATA,R_0104_0004__THE_R_0104_0005__ACCURACY,R_0104_0002__MAINTENANCE,Z_0104_5006] :
      ( r_0104_0007__Data(R_0104_0007__DATA)
      & z_0104_5006(Z_0104_5006)
      & has_z_0104_5002(Z_0104_5006,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) ) ).