Assertion list
open adoption (subgroup of adoption ) → HasProperty
Results from Ascent++: 2
open adoption → HasProperty → more common 0.19
open adoption → HasProperty → enforceable 0.16