<div dir="ltr">Joe Cornell is a mathematician who is interested in theorem proving starting from semantic definitions. The CIF dictionaries could be an interesting starting point where definitions and executable code are coupled. Do you know of efforts to use CIF to calculate properties or relations that are not explicitly defined in the dictionaries - possible with constraints.<br><div><br></div><div>Hope this makes some sense!<br><br></div><div>P.</div><div><br></div><br><br clear="all"><div><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>Peter Murray-Rust<br>Reader Emeritus in Molecular Informatics<br>Unilever Centre, Dept. Of Chemistry<br>University of Cambridge<br>CB2 1EW, UK<br>+44-1223-763069</div></div></div></div></div>