arguments

fun Solver.arguments(context: Int): List<Argument>

The arguments of the context branch context, with the arguments supporting them (Argument.supports), identified as A0, A1, ... in order of their number of supporters, rules, conclusion and top rule