If you know an area that might fit well into Son of BirdBrain II's
It's quite all right if new areas overlap with Son of BirdBrain II's
current areas. The more, the better.
- 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.