Assertion list
open government (subgroup of government ) → HasProperty
Results from Ascent++: 1
open government → HasProperty → essential 0.75