Assertion list
output (aspect of accelerometer ) → HasProperty

Results from Ascent++: 2
outputHasProperty proportional 0.50
outputHasProperty digital 0.25