Assertion: push button | /r/HasProperty | red to indicate stop
Facets:
value: simply
type: MANNER
value: to indicate start
type: PURPOSE
Source sentences:
text: For example, a push button in the shape of a mushroom and red in color informs the user that the intention of the push button is to serve as an emergency stop, as shown in figure 2, unlike a push button that is simply red to indicate stop and/or green to indicate start.