+
+L0.InstanceOfMigrationStep <T L0.MigrationStep <T L0.List
+ L0.HasDescription """Simple migration step that switches one InstanceOf statement for another.
+Useful for cases where the type hierarchy in an ontology changes.
+The list is expected to contain an even number of URI string literals
+where the first literal specifies the type whose instances shall have
+their InstanceOf statements changed to the type pointed to by the second URI.
+The list can contain multiple of these pairs."""