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]]
def p_closed_proposition_list ( self , p ) : 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
closed_proposition_list : closed_proposition_list SLASH SLASH closed_proposition | closed_proposition