Assertion: pen's button | /r/HasProperty | pushed
Facets:
Source sentences:
text: Here a small spring is attached to the outside of the ink reservoir, and when a button is pushed, the point is either exposed or retracted.
text: When the button at the end of the pen is pressed, the system moves from one position to the other.