Assertion: push button | /r/HasProperty | pressed a 1
Facets:
Source sentences:
text: If it is pressed, and exhibits a 1, then it checks if the button was firsts released.