A-Set Agree and A-Movement

Discovering the nature of probes and goals on functional and lexical categories is very significant to understand how the computational system works and how the movement operates. Based on the assumption that probes and goals are sets composing relevant matching features, the operation Agree is accounted for at the computational system. In the case of A-Agree, under the set assumption, either a probe or a goal should be a complete A-set. The complete A-set contains a Case feature and the Case feature is regarded as an element of the set. This complete A-set can only delete and value the matching uninterpretable and unvalued features of the corresponding A-set by A-Agree. In this feature system, the Case feature is considered as a matching feature like other φ-features such as person, numbe r, and gender features. In the case of successive cyclicity in A-movement in intermediate TPs, the asymmetrical matching relation of features on probes and goals is discussed with some relevant raising verb sentences. If the features on probes and goals are not symmetrical and either a probe or a goal is not complete, there is a further A-Agree and A-movement. The A-movement continues until satisfying the full matching and agreement of features on a probe and a goal by a complete A-set Agree. When both a probe and a goal are fully matched, the A-movement is terminated. All these A-relevant movements are accounted for by the A-set assumption on probes and goals.