first semantic rules for strategies