Assertion list
courthouse (primary) → UsedFor
Results from Ascent++: 3
courthouse → UsedFor → yard 0.27
courthouse → UsedFor → cell 0.25
courthouse → UsedFor → the dispensing of justice 0.25