Many-sorted logic has strictly greater expressive power than single-sorted FOL when sort predicates ...