def split_alpha_beta(self):
        rules_alpha = []    # a      -> b
        rules_beta = []     # &(...) -> b
        for a, b in self.proved_rules:
            if isinstance(a, And):
                rules_beta.append((a, b))
            else:
                rules_alpha.append((a, b))
        return rules_alpha, rules_beta
:type aws_access_key_id: string
dataset/ETHPy150Open sympy/sympy/sympy/core/facts.py/Prover.split_alpha_beta--crossover with--dataset/ETHPy150Open cloudera/hue/desktop/core/ext-py/boto-2.38.0/boto/__init__.py/connect_vpc