An Inductive Annotated Logic