<html><head><style type="text/css">.style1 {font-family: "Times New Roman";}</style></head><body>On 05/06/2018 09:30, Richard Kaye wrote:<BR>
> binding(B,v1..vn,C)<BR>
> <BR>
> can only have a symbol B in this position (and presumably the same: not<BR>
> attributed)<BR>
<BR>
No B and C can be any openmath object which is what it says in 2.1.3 of <BR>
the spec and also the relax schema, which allows "omel" as the first <BR>
child of OMBIND (which is the same as the first (all) arguments of OMA.<BR>
<BR>
OMBIND = element OMBIND { compound.attributes, omel, OMBVAR, omel }<BR>
<BR>
David<BR>
<br /><br /><p style="font-family: Verdana; font-size:10pt; color:#666666;"><b>Disclaimer</b></p><p style="font-family: Verdana; font-size:8pt; color:#666666;">The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. Please see our <A href="https://www.nag.co.uk/content/privacy-notice">Privacy Notice</A> for information on how we process personal data and for details of how to stop or limit communications from us.<br /><br />This e-mail has been scanned for all viruses and malware, and may have been automatically archived by Mimecast Ltd, an innovator in Software as a Service (SaaS) for business.</p>
</body></html>