Assertion list for term "to be consistent".
Results from Ascent++: 2
key → ReceivesAction → to be consistent 0.50
goal → ReceivesAction → to be consistent 0.29