I guess the "next available" wording is a red herring, and the provision should be read like you would read "if passenger takes next flight within 12 hours," with "next flight" not "the next scheduled flight" but rather "the next flight that the passenger takes." "Available" then prevents using an unavailable flight to avoid constituting a stopover. US domestic fares carry identical language but usually say 4 hours.

But this is about how autopricing parses this provision, and I'm puzzled. How did you get this display? EF shows that AVAILABLE is deliberately indented on the next line, which is noteworthy as there is still sufficient room to keep AVAILABLE on the previous line, and nowhere else are running autopricing provisions indented when they reach the next line.



If it is actually there, I believe the extra indentation splits "next" and "available" in two different conditions for autopricing to evaluate. "No stopover occurs" passes if both are true, meaning [(an) [i]available flight within 12 hours] [is the passenger's [i]next segment], which matches what we see in the field and is in line with my take on this provision explained at the beginning.