Assertion list
use (aspect of lsd ) → HasProperty
Results from Ascent++: 3
use → HasProperty → widespread 0.41
use → HasProperty → legal 0.34
use → HasProperty → extensive 0.25