Agr-based case theory and its interaction with the A-bar system · Study