Assertion list
kilobyte (primary) → HasProperty
Results from Ascent++: 1
kilobyte → HasProperty → equal 0.56