Assertion list for term "demonstrated for the workability of the platform".
Results from Ascent++: 1
proof → ReceivesAction → demonstrated for the workability of the platform 0.27