Assertion list
type narcolepsy (subgroup of narcolepsy ) → HasProperty
Results from Ascent++: 1
type narcolepsy → HasProperty → narcolepsy 0.59