Assertion list for term "inferential argument".

Results from Ascent++: 1
proof IsAinferential argument 0.25