Assertion list for term "to be free".
Results from Ascent++: 2
goal → ReceivesAction → to be free 0.47
aim → ReceivesAction → to be free 0.25