Assertion list
computer file (primary) → HasProperty
Results from Ascent++: 1
computer file → HasProperty → safe 0.25