If you know an area that might fit well into Son of BirdBrain II's
repertoire,
- Send a list of first-order clauses or formulas.
- For each clause or formula, say whether it should be a hypothesis only,
a conclusion only, or both (most should be both).
- Give a short tag (comment or ID) for each clause or formula.
- If you have any special Prover9 options that work well for the area,
send those as well.
- Send a short abstract for the area.
It's quite all right if new areas overlap with Son of BirdBrain II's
current areas. The more, the better.