let gumbogui query ltlbroom dialogmanager about current goal