This test examines the ARIA properties for doc-prologue.