ieml/grammar/parser/parser.py
def p_fact(self, p):
        """fact : LBRACKET clauses_sum RBRACKET
                | LBRACKET clauses_sum RBRACKET literal_list"""
        if len(p) == 4:
            p[0] = Fact(p[2])
        else:
            p[0] = Fact(p[2], literals=p[4])
def p_fact(self, p):
        """fact : LBRACKET clauses_sum RBRACKET
                | LBRACKET clauses_sum RBRACKET literal_list"""
        if len(p) == 4:
            p[0] = Fact(p[2])
        else:
            p[0] = Fact(p[2], literals=p[4])
def p_fact ( self , p ) : if len ( p ) == 4 : p [ 0 ] = Fact ( p [ 2 ] ) else : p [ 0 ] = Fact ( p [ 2 ] , literals = p [ 4 ] )
fact : LBRACKET clauses_sum RBRACKET
                | LBRACKET clauses_sum RBRACKET literal_list
fact : LBRACKET clauses_sum RBRACKET | LBRACKET clauses_sum RBRACKET literal_list