Assertion list for term "refocused".
Results from Ascent++: 2
lens → ReceivesAction → refocused 0.33
telescope → ReceivesAction → refocused 0.28