adding semantic_goals for reasoning about partial states