def print_menu_map(mapping, lines=LINES, columns=COLUMNS):
    keys = sorted(mapping.keys())
    first = keys[0]
    fmt  = "{{!s:>4s}}: {{:{cols}.{cols}}}".format(cols=columns-6)
    if columns > 80:
        fmt2 = "{{!s:>4s}}: {{:{cols}.{cols}}} | {{!s:>4s}}: {{:{cols}.{cols}}}".format(cols=(columns-16)//2)
        h = (len(mapping)+1)//2
        for k1, k2 in map(None, keys[:h], keys[h:]):
            if k2 is not None:
                print(fmt2.format(k1, mapping[k1], k2, mapping[k2]))
            else:
                print(fmt.format(k1, mapping[k1]))
    else:
        for key in keys:
            print(fmt.format(key, mapping[key]))
    return first
:param goal: Input expression to prove
dataset/ETHPy150Open kdart/pycopia/core/pycopia/cliutils.py/print_menu_map--crossover with--dataset/ETHPy150Open nltk/nltk/nltk/inference/resolution.py/ResolutionProver._prove