Qual é a interpretação regra OCL/UML abaixo?

Context Artigo::entrega() : Boolean
Pre: ---
Post: result = (self.disponibilidade = #emEstoque)

a

A entrega de um artigo é feita se houver estoque do mesmo;

b

A sintaxe não é OCL, portanto a regra não é válida;

c

O retorno da operação entrega() é verdade se o valor da variável global #emEstoque for diferente de zero;

d

O retorno da operação entrega() é verdade se o parâmetro #emEstoque for diferente de zero;

Próxima Questão