Convert remaining ICV examples to turtle syntax