ieml/grammar/parser/parser.py
def p_closed_proposition_list(self, p):
        """ closed_proposition_list :  closed_proposition_list SLASH SLASH closed_proposition
                                    | closed_proposition"""
        if len(p) == 2:
            p[0] = [p[1]]
        else:
            p[0] = p[1] + [p[4]]
def p_closed_proposition_list(self, p):
        """ closed_proposition_list :  closed_proposition_list SLASH SLASH closed_proposition
                                    | closed_proposition"""
        if len(p) == 2:
            p[0] = [p[1]]
        else:
            p[0] = p[1] + [p[4]]
closed_proposition_list :  closed_proposition_list SLASH SLASH closed_proposition
                                    | closed_proposition