syntaxePlanning.cup