Assertion list
value (aspect of promise ) → CapableOf
Results from Ascent++: 4
value → CapableOf → make any payment 0.25
value → CapableOf → strip irrelevant, unsupported, … 0.25
value → CapableOf → use common stock of the company 0.25
value → CapableOf → written to the gpio 0.25