Re: Why Option 1

The only real problem I see with option 1 is that it is easy to create 
Franken-reifications.   For example


<< :e | :s :p :o >> :x :y .
<< :e | :s1 :p1 :o1 >> :x :y .

The well-formedness condition to forbid this is not trivial

Option 2 is designed to eliminate this problem.  In option 2 well-formedness 
is easy to state and check.


peter

Received on Thursday, 15 February 2024 15:11:29 UTC