Assertion list for term "smp".
Results from Ascent++: 1
undertaking → HasA → smp 0.41