modified synsem/example8.ttl