It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
این یک مشخصات دقیق با یک زبان قراردادی دقیق است که باعث می شود متمتیکا بداند باید اینجا چه کار کند.