Assertion list for term "colored red".
Results from Ascent++: 2
line → HasProperty → colored red 0.35
atom → ReceivesAction → colored red 0.32