Assertion list
design template (subgroup of template ) → HasProperty
Results from Ascent++: 1
design template → HasProperty → well-known 0.44