s ( s() s()) x s ( s )