Are you sure about this? That sounds like a complex implied price and I thought only ICE matches complex spreads. Theoretically, that price should match, but I dont believe it is guaranteed by the exchange.
It's easy to confuse.:) Just remember legs come 'out' of the spreads and are therefore implied outs.
And implied from implieds...that's second generation and beyond implied prices. Most exchanges (CME, LIFFE, ICE) do match these. CME / LIFFE stop at two generations. ICE matches an infinite...
I think you may have your terminology backwards. An imlied 'In' is a spread price generated from two outirghts. An implied 'Out' is a leg price (generally an outrigh) that is generated by a leg price and a spread price.
Regarding exchange recognition:
LIFFE matches two generations of implied...