Agr-based case theory and its interaction with the A-bar system | lit.salon