Assertion list
phenol (primary) → HasA
Results from Ascent++: 1
phenol → HasA → unique properties 0.25