Assertion list
courthouse (primary) → HasA
Results from Ascent++: 2
courthouse → HasA → a clock tower 0.25
courthouse → HasA → entrance 0.25