Initial spec for class ProceduralGoal