Assertion list
use (aspect of chloroquine ) → ReceivesAction

Results from Ascent++: 2
useReceivesAction stopped 0.68
useReceivesAction permitted 0.43