Assertion list
color (aspect of tulip ) → HasA
Results from Ascent++: 1
color → HasA → different meaning 0.41