Partial Entailment as a Basis for Inductive Logic