APPROVED Sean Bechhofer DL Test: k_d4 ABox test from DL98 systems comparison.