Assertion: latch's output | /r/DefinedAs | input
Facets:
value: always
type: TEMPORAL
Source sentences:
text: Combinatorial logic does not have any flip-flop to hold state therefore the output should always be defined by the inputs.