Extracted first-order logic helpers from the Pi-Base topology database