Assertion: pen's button | /r/HasProperty | top one
Facets:
Source sentences:
text: If the pen features two buttons, the right-click button is the top one.