You can currently define a market to resolve based on other market(s), including logical operations such as "and" or "or" or more complex conditionals. Other derivatives in use include resolving to the share price before a market resolves, amplified markets, and multiple markets on the same question with different "event happens by" dates.

However, those markets need to be resolved, either by a human or a bot operating external to Manifold itself. And the relationship between those markets must be maintained either by human traders or arbitrage bots, rather than by the automated market maker and market subsidies.

Before 2025, will Manifold support the creation of any logically-defined derivative markets? Such markets would need to enforce the resolution logic directly within manifold, and also support some mechanism for market making, such as interconverting shares or cross-liquidity to support bets on only one of the markets.

Examples of how this might work include:
https://cdetr.io/smart-markets/

https://www.lesswrong.com/posts/uDXRxF9tGqGX5bGT4/logical-share-splitting