Assertion list for term "colored with short ones".
Results from Ascent++: 1
edge (aspect of graph) → ReceivesAction → colored with short ones 0.25