It would be cool to make a prediction market that automatically had markets for every Boolean operator of primitive markets. Maybe with LLM traders there could finally be enough intelligence/liquidity to trade them all