Assertion list for term "ensure portability".

Results from Ascent++: 1
obligation (aspect of contract) CapableOfensure portability 0.27