Assertion list for term "released by either an explicit f_unlck operation".
Results from Ascent++: 1
lease → ReceivesAction → released by either an explicit f_unlck operation 0.25