The remaining elements in this List, as another List.

and are defined as annotation properties; they cannot be reasoned about. This is because s are themselves used for ontology definition, and assigning them semantics beyond this is, at the very least, conceptually murky. It is better to use other mechanisms of conveying ordered lists when the contents of those lists need to be accessible to reasoners.