When Logic Meets Sumo (WLMS)