Super MarketSuper Market
MarketsTournamentsPortfolioCreateLeaderboardsAbout
Sign In
Sign InSign Up Now
CreateMarketsPortfolioTournamentsLeaderboardsAbout
Guide navigation
OverviewMarkets & TradingCreating MarketsSettlement & PayoutsConditional & Complex MarketsAdvanced Logic LinkingSuper SignalCredits & RewardsTournaments & OrganizationsPortfolio & LeaderboardsAccount & Notifications
ChangelogAPI Reference↗

Product Guide

OverviewMarkets & TradingCreating MarketsSettlement & PayoutsConditional & Complex MarketsAdvanced Logic LinkingSuper SignalCredits & RewardsTournaments & OrganizationsPortfolio & LeaderboardsAccount & Notifications
ChangelogAPI Reference↗
Terms of ServiceGuide

© 2026 The Super Market. All rights reserved.

info@thesuper.market

Advanced Logic Linking

Advanced Logic Linking (ALL) connects exchanges whose outcomes are logically related. It lets the platform recognize the risk of a combined position instead of treating every exchange independently.

Relationship types

ALL supports nine relationship types:

  • Monotonic
  • Complementary
  • Mutually exclusive
  • Implication
  • Boolean AND
  • Boolean OR
  • Boolean NOT
  • Conditional IF
  • Nested Boolean expression

The platform automatically links exhaustive sets of mutually exclusive outcomes and fully mapped AND, OR, NOT, and conditional IF market trees. A simple IF keeps its condition and consequence roles, while a nested tree becomes one canonical Boolean expression that preserves its full meaning. Pure AND and OR paths can also prove implication links between the expression result and their leaves.

Related threshold and strike markets can link when they share the same exact settlement identity. These parameter families cover sports games and statistics, financial and economic readings, corporate earnings periods, and election races when that family is enabled and its provider identity is complete. Narrower ranges imply wider ranges, while disjoint ranges or categorical winners become mutually exclusive.

Admins can still tag implication, complementary, and mutually exclusive relationships between exchanges. Manual tagging remains the right choice for freeform semantic links that are not encoded in market structure or canonical provider data.

Trading estimates

When you propose an order, the trade panel requests a debounced ALL estimate on a linked market, and on any other market while your linked positions have unused guaranteed payout. A buy first uses the guaranteed payout of positions linked to the exchange you are buying, then your credits, and then the unused guaranteed payout of your other linked positions in the same tournament.

So ALL may require fewer credits than the order's full nominal cost, even on a market with no links of its own once your credits run out. The preview can show:

  • Credits needed
  • ALL savings
  • Advance repayment

Credits needed is the estimated amount debited after recognized collateral. ALL savings is the difference from the full nominal cost. Advance repayment appears when a sale would repay collateral previously advanced against linked positions.

ALL quotes are non-binding estimates, not guaranteed execution results. They appear when the platform's linked-markets engine handles your order, which is the case for tournament trading. When ALL saves nothing on an order, the trade preview simply shows the full cost without ALL savings.

Portfolio collateral

The portfolio shows guaranteed payout floors recognized across linked positions. It also shows outstanding advances backed by those floors.

These advances are ALL collateral, not additional returns. A trade that reduces the payout floor can require an advance to be repaid.

See Markets & Trading for order types and trade previews. See Conditional & Complex Markets for Boolean operator trees that can create ALL relationships.