Semantics : ConditionalExpr

ConditionalExpr  ::=  ConditionalOrExpr ( ? Expr : ConditionalExpr )?

Used by:  

This x ? y : z expression is the same as in C or Java, that is, the value of this expression is y if x is true, or z otherwise.