Assertion list
latch (primary) → HasA

Results from Ascent++: 8
latchHasA output 0.41
latchHasA two stable states 0.40
latchHasA receptacle 0.34
latchHasA top surface 0.31
latchHasA a center of mass 0.25
latchHasA double-ended input 0.25
latchHasA flat base 0.25
latchHasA l-shaped cross 0.25