$(($ab$)?$c$+|($abcd$))2.($a$($b $|$ c$)|($def $|$ abc$)|$ f$)$