Assertion: latch's output | /r/CapableOf | change one cycle
Facets:
value: after the input
type: TEMPORAL
Source sentences:
text: This forms a lock-and-dam system which causes the output to change one cycle after the input (assuming setup and hold conditions are met).