Assertion: machine | /r/CapableOf | ask the question
Facets:
value: always
type: TEMPORAL
value: before a decrement
type: TEMPORAL
Source sentences:
text: Before a decrement our machine must always ask the question: "Is the tape/counter empty?