Added bold formatting for directly asserted presence-absence states.