<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto">Can you write a parser to give you the result you want?<br><br><div id="AppleMailSignature">- David</div><div><br>On Jul 22, 2018, at 10:17 AM, <a href="mailto:rvclayton@acm.org">rvclayton@acm.org</a> [self-interest] <<a href="mailto:self-interest@yahoogroups.com">self-interest@yahoogroups.com</a>> wrote:<br><br></div><blockquote type="cite"><div>
<span style="display:none"> </span>
<div id="ygrp-text">
<p>The self 2017.1 handbook interprets the expression<br>
<br>
5 min: 6 min: 7 Max: 8 Max: 9 min: 10 Max: 11<br>
<br>
as<br>
<br>
5 min: (6 min: 7 Max: 8 Max: (9 min: 10 Max: 11))<br>
<br>
(pgs 17-18) for the message min:Max. This strikes me as wrong - where's the<br>
Max: part for the message sent to 5? It seems to me that the interpretation<br>
should be<br>
<br>
5 min: (6 min: 7 Max: 8) Max: (9 min: 10 Max: 11)<br>
<br>
or, to use indentation<br>
<br>
5 min:<br>
6 min:<br>
7<br>
Max:<br>
8<br>
Max:<br>
9 min:<br>
10<br>
Max:<br>
11<br>
<br>
I understand that one likes to see a pleasing pile-up of parentheses at the end<br>
of right-associative expressions, so maybe the example could be<br>
<br>
5 min: 6 Max: 7 min: 8 Max: 9 min: 10 Max: 11 min: 12 Max: 13<br>
<br>
which equivalent to (if I'm understanding things correctly)<br>
<br>
5 min: 6 Max: (7 min: 8 Max: (9 min: 10 Max: (11 min: 12 Max: 13)))<br>
<br>
</p>
</div>
<!-- end group email -->
</div></blockquote></body></html>