Assertion: robot's input | /r/HasProperty | accepted
Facets:
value: else
type: OTHER
Source sentences:
text: An automaton is a construct made of states designed to determine if the input should be accepted or rejected.
text: The input is accepted if the corresponding run is in Acc.
text: The input is accepted if at least one of the possible runs is accepting.
text: If, after consuming the complete input, any of the copies is in an accept state, the input is accepted, else, it is rejected.
text: , this does not mean that the input "10" is accepted; rather, it means that an input string "1" would be accepted.