added semanticDomain JS files for convenience (perhaps remove later)