The design doc should mention how a policy with both ACL and sequence specified is evaluated. I.e. it first evaluates the ACL and then the sequence, so it is an AND relation.