Assertion list
backdoor (primary) → HasProperty
Results from Ascent++: 3
backdoor → HasProperty → active 0.25
backdoor → HasProperty → new 0.25
backdoor → HasProperty → safe 0.00