"logical macro assertion on an annotation property"@en . . .