Assertion list
temporary table (subgroup of table ) → HasProperty
Results from Ascent++: 3
temporary table → HasProperty → visible 0.54
temporary table → HasProperty → empty 0.48
temporary table → HasProperty → useful 0.16