【正确答案】 B

【答案解析】[解析] 运算符“-”是空格移位连接符，连接前后两个字符串，并将前字符串的尾部空格移到合并后的新字符串尾部，故D选项s2-s1得到的是一字符串，不是逻辑值。运算符“$”是子串包含测试，A选项是s1是s2的子串，为真，B选项s2不是s1的子串，为假，C选项对两个字符串从左到右逐个字符比较，当发现两个对应的字符不同时，根据两个字符的排序序列判断两个字符串的大小，C选项为真。故选择B选项。