less ambitious annotation constraint system