semantic: Implement AAs