Assertion list
security policy (subgroup of policy ) → HasProperty
Results from Ascent++: 2
security policy → HasProperty → stable 0.39
security policy → HasProperty → essential 0.35