def p_fact(self, p):
if len(p) == <NUM_LIT:4>:<EOL><INDENT>p[<NUM_LIT:0>] = Fact(p[<NUM_LIT:2>])<EOL><DEDENT>else:<EOL><INDENT>p[<NUM_LIT:0>] = Fact(p[<NUM_LIT:2>], literals=p[<NUM_LIT:4>])<EOL><DEDENT>
fact : LBRACKET clauses_sum RBRACKET
                | LBRACKET clauses_sum RBRACKET literal_list