Assertion: interface's method | /r/HasProperty | push
Facets:
Source sentences:
text: An interface called " Stack " might define two methods: push() and pop() .