Assertion: combinational logic | /r/CapableOf | produce binary representation
Facets:
value: for the next state
type: TRANSITIVE-OBJECT
Source sentences:
text: The combinational logic produces the binary representation for the next state.