Assertion list for term "provide simple but useful abstraction".
Results from Ascent++: 1
semaphore → CapableOf → provide simple but useful abstraction 0.21