more paired delimiters, basic inference rule