A Semantics For Aspects By Compositional Translation