On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles