Assertion list for term "marked by clarity".

Results from Ascent++: 1
choreography ReceivesActionmarked by clarity 0.25