(if exp1a (if exp2a exp2b exp2c) (if exp3a exp3b exp3c))