Not Empty Atom

In XMIR, atom(object, that have inner object with @name equal to λ) should not have inner object with @base not equal to .

Incorrect:

<object>
  <o line="1" name="number">
    <o base="f" name="λ"/>
  </o>
</object>

Correct:

<object>
  <o name="number">
    <o base="∅" name="λ"/>
  </o>
</object>

Published on Mon May 26 13:15:45 UTC 2025.