On the Completeness of Context-Sensitive Order-Sorted Specifications