Assertion: empty's size | /r/HasProperty | length
Facets:
Source sentences:
text: The program must keep track of the size (length) of the stack, using a variable top that records the number of items pushed so far, therefore pointing to the place in the array where the next element is to be inserted (assuming a zero-based index convention).