Assertion list for term "used in rv".
Results from Ascent++: 2
fire extinguisher → ReceivesAction → used in rv 0.25
refrigerator → ReceivesAction → used in rv 0.25