Assertion list
haven (primary) → IsA
Results from Ascent++: 3
haven → IsA → perfect place 0.54
haven → IsA → place 0.47
haven → IsA → great place 0.29