module EEb

exports
  sorts E
  context-free syntax
    "B" -> E
    E "P" E -> E