let: 'as' patterns; statements: propp ('is' patterns);
let: 'as' patterns;
statements: propp ('is' patterns);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle