@prefix wsl: <http://www.wsmo.org/ns/wsmo-lite#>.