AGREE. An (unvalued) probe [uφ: ] may enter into Agree with a goal [ψ:ω] (value ω), only if a. [uφ] and [ψ] match (i.e. φ = ψ ), and b. [uφ] c-commands [ψ:ω]. Agree leads to [uφ:ω] (valuation) and [uφ] (checking).
Appears in 4 contracts
Sources: Vehicle Requirement on Merge, Vehicle Requirement on Merge, Vehicle Requirement on Merge