Annotated model