changed synsem/example10.ttl