Assertion list
microprocessor (primary) → AtLocation
Results from Ascent++: 5
microprocessor → AtLocation → communication 0.46
microprocessor → AtLocation → normal state 0.38
microprocessor → AtLocation → electrical communication 0.37
microprocessor → AtLocation → server 0.37
microprocessor → AtLocation → the wristband 0.33