Probably approximately correct learning of Horn envelopes from queries