Foro de consultas de la semana 6

Buenas tardes, agradezco si me pueden ayudar con la comprensión de los conceptos de parámetros nominales y efectivos.
Partiendo de que no tiene sentido para una función tener variables como lista de parámetros (ya que la misma va a arrojar un único resultado), los parámetros nominales serían simplemente los nombres de los parámetros de valor que se le van a ingresar a cierta función.
En cuanto a los parámetros efectivos, en el pdf menciona que "son las expresiones que aparecen en la invocación de la función", en cuyo caso entiendo que si tengo una función $function$ $areatriangulo(base,altura:real):real$, los parámetros efectivos tras un invocación así $function$ $areatriangulo(7,3.8)$ serían $7$ y $3.8$.

En la pregunta $b)$, pienso que si tengo inicializada un variable $x:=7$, podría haber puesto $x$ en la primera entrada en vez de $7$. ¿Esto es así? Por lo tanto, los parámetros efectivos pueden ser variables, no deben serlo siempre.

En la parte $c)$ tengo más duda, no sé qué pasaría si inicializara $base:=7$ y pusiera $base$ en vez de $7$ en la invocación. Sí supongo que por la parte $b)$ debería poder inicializar una $x$ y meterla como entrada de la $base$. Si $base$ ya está definida en el programa (es de alcance global), pienso que la función debería poder tomarla sin problema como dato de entrada.