semantic: Fully implement AA assignments