Assertion list
iv ketamine (subgroup of ketamine ) → HasProperty

Results from Ascent++: 1
iv ketamineHasProperty right 0.68