【正确答案】 The major two semantic categories of modal auxiliaries are predictive meaning and non-predictive meaning. Predictive meaning refers to degree of certainty: probability, possibility, impossibility. Non-predictive meaning refers to obligation/freedom to act: permission, lack of permission, ability, obligation.