default-rule spec-rule