Prescriptive Semantics For Big-Step Modelling Languages