annotated dot notation