{Approximate Inference for Logic Programs with Annotated Disjunctions}