Assertion list
medina (primary) → HasA
Results from Ascent++: 2
medina → HasA → fountain 0.25
medina → HasA → mausoleum 0.25