semantic: Check attributes against traits attribute.