Specifying Properties for a Launch Definition