Assertion list for term "expressed by the predicate".

Results from Ascent++: 1
function ReceivesActionexpressed by the predicate 0.46