Assertion list
slot (aspect of toaster ) → HasProperty
Results from Ascent++: 4
slot → HasProperty → wide 0.75
slot → HasProperty → long 0.45
slot → HasProperty → large 0.42
slot → HasProperty → deep 0.34