Toward DAML-Rules