consturction of partial actions based on instantiated actions are almost done, just the translate is remained