def argify(arg):
    if isinstance(arg, bool):
        return clingo.String(str(arg))
    elif isinstance(arg, int):
        return clingo.Number(arg)
    else:
        return clingo.String(str(arg))
def argify(arg):
    if isinstance(arg, bool):
        return clingo.String(str(arg))
    elif isinstance(arg, int):
        return clingo.Number(arg)
    else:
        return clingo.String(str(arg))