--- main menu
S> ["icm:loadplan", "ask(?X.goal(X))"]
