ByNobleID
    A method for generating new inequalities | NobleID