Assertion list
balcony (primary) → IsA
Results from Ascent++: 1
balcony → IsA → platform 0.49