Assertion list
siphon (primary) → HasProperty
Results from Ascent++: 2
siphon → HasProperty → short 0.25
siphon → HasProperty → long 0.25