BpModule

The burdens of proof as part of the graph (module bp, a graphExtension): for an argument for bp(Statement) and an argument for Statement, the burdened one, an argument for -burdmet(Conclusion) (top rule artificial) is attacked as the burden of proof is, and rebuts or is rebutted by the burdened argument, depending on whether the grounded labelling labels it IN.