Verification of Semantically-Enhanced Artifact Systems (Extended Version)