Assertion list
admonition (primary) → HasProperty
Results from Ascent++: 2
admonition → HasProperty → private 0.41
admonition → HasProperty → derivable 0.25