semantic3 files