Assertion list
consulate (primary) → HasProperty
Results from Ascent++: 2
consulate → HasProperty → open 0.65
consulate → HasProperty → busy 0.36