Assertion list
courthouse (primary) → IsA
Results from Ascent++: 1
courthouse → IsA → well-proportioned building 0.19