A formal language for semantic representation