Assertion list
pueblo (primary) → HasA
Results from Ascent++: 2
pueblo → HasA → road 0.25
pueblo → HasA → window 0.25