A comparison of OBJ3 and ASF+SDF