``ATerm(<subterm>, annotation=AList(...))``