Assertion list
door (aspect of crate ) → HasProperty
Results from Ascent++: 1
door → HasProperty → removable 0.29