Assertion list
regulated militia (subgroup of militia ) → HasProperty
Results from Ascent++: 1
regulated militia → HasProperty → necessary 0.68