Statistics of Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity