Having received no further feedback, I'm inclined to proceed on Baseline+A+B. On 9/24/2019 2:34 PM, Brian Goetz wrote: > > So my suggestion is to start with Baseline + (A | A&B), limiting > inference to permits clauses, and see if that is enough.