--- main menu
S> ["ask(?X.goal(X))"]
