Assertion list
distortion (primary) → HasPrerequisite
Results from Ascent++: 1
distortion → HasPrerequisite → expensive and difficult treatme… 0.16