Text this: A resolution principle for a logic with restricted quantifiers