Assertion list for term "provided through machine validation".
Results from Ascent++: 1
proof → ReceivesAction → provided through machine validation 0.25