Assertion list
displacement (aspect of engine ) → HasProperty
Results from Ascent++: 2
displacement → HasProperty → equal 0.25
displacement → HasProperty → unchanged 0.25