Assertion list
post office (primary) → HasPrerequisite
Results from Ascent++: 1
post office → HasPrerequisite → more space 0.25