Assertion list
dimple (primary) → HasProperty
Results from Ascent++: 5
dimple → HasProperty → permanent 0.47
dimple → HasProperty → deep 0.45
dimple → HasProperty → visible 0.45
dimple → HasProperty → shallow 0.32
dimple → HasProperty → equal 0.25