RockBrentwood

Further notes on the scope non-contiguity issue: For non-contiguity: a situation such as this (₀ (₁ ₁) (₂ ₂) (₁ ₁) ₀) may occur, where scope #2 is on top...

I think the follow-up comment made it pretty clear that this is not "shadowing". It's not a case of (0 (1 (2 2) 1) 0), but of (0 (1 1)...

On the second matter... On 12/28/19, Michael Forney wrote: > I don't understand why any of the examples listed as "false positives" > should be rejected. The comments in the...