Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications