semantic: Implement AA insert