!7

sS axiom = "It is either Monday, Tuesday, Wednesday, Thursday, Friday, Saturday or Sunday.";

p {
  new Matches m;
  if (!matchStart("It is either", dropPunctuationAtEnd(axiom), m))
    fail("Unknown axiom");
  pnl(textIn_or(m.rest()));
}