Second-order quantifiers range over specified collections of relations, which can be proper subcollections of all external relations. With these collections as additional sorts, this is a form of first-order logic. Full-class conclusions cannot be inferred merely from truth with Henkin semantics.
New to topics? Read the docs here!