jopt2 comments on Semantic Stopsigns