http://cobra-language.com/trac/cobra/wiki/Contracts
result - available in require and ensure, provides a fixed name for the return value of any method or property
Having result in require doesn't make any sense to me, as I understand it require is evaluated before invocation of the method.
(By the way, there's a typo in the site footer, under Wiki it says "languge topics".)
