Somehow, when someone says 'unambiguous', C is the last language I can think of. I would sooner think of something more mathematically 'pure', or just reader-friendly, since the goal is expressing meaning, not actually running the contract... (I hope)<p>I suspect getting it to fly would be the biggest challenge, though, since our legal system is very much bound up in tradition and precedents.