Assertion list
building envelope (subgroup of envelope ) → IsA
Results from Ascent++: 1
building envelope → IsA → physical separator 0.68