Assertion list
public pool (subgroup of pool ) → ReceivesAction
Results from Ascent++: 1
public pool → ReceivesAction → equipped with one or more addit… 0.84