Assertion list
road map (primary) → IsA
Results from Ascent++: 3
road map → IsA → zoomed detailed areas of the map 0.68
road map → IsA → map 0.41
road map → IsA → plan 0.41