Vault capital

Vault capital

The capital of a pier that supports a vault or a rib thereof.
Mentioned in ?