Assertion list
captivity (primary) → HasProperty
Results from Ascent++: 2
captivity → HasProperty → bad 0.37
captivity → HasProperty → wrong 0.16