def convert_edges(self, edges: List[TreeEdge]):
    antecedent_literals: List[Literal] = []
    for tree_edge in edges:
        lit = self.convert(tree_edge)
        antecedent_literals.append(lit)
    antecedent = GeneralizedAntecedent(antecedent_literals)
    return antecedent
def convert_edges(self, edges: List[TreeEdge]):
    antecedent_literals: List[Literal] = []
    for tree_edge in edges:
        lit = self.convert(tree_edge)
        antecedent_literals.append(lit)
    antecedent = GeneralizedAntecedent(antecedent_literals)
    return antecedent