Assertion list
use (aspect of ketamine ) → ReceivesAction

Results from Ascent++: 2
useReceivesAction permitted 0.52
useReceivesAction limited 0.16