Has Statement
Alignment assertion belonging to the alignment map.