Assertion list for term "vacuous".

Results from Ascent++: 2
explanation HasPropertyvacuous 0.25
id HasPropertyvacuous 0.25