Learning logic programs with annotated disjunctions