Assertion list
work (aspect of pascal ) → CapableOf
Results from Ascent++: 2
work → CapableOf → remain unfinished 0.25
work → CapableOf → pave the way 0.16