def get_sub(goals):
    """Split a list of goals into the inequalities
    and the others.
    
    Arguments:
    - `goals`: a list of goals
    """
    ineqs, other = [], []
    for g in goals:
        if g.prop.is_sub():
            ineqs.append(g)
        else:
            other.append(g)
    return ineqs, other