Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the few techniques that exist are cumbersome and impractical. In particular, the derivation of operational models and operational requirements from goals is a manual and tedious task which is, currently, only partially supported by operationalisation patterns. In this position paper we propose a framework for supporting such tasks by combining model checking and machine learning. As a proof of concept we instantiate the framework to show that progress checks and inductive learning can be used to infer preconditions and hence to support derivation of operational models. Categories and Subject Descriptors: D.2.1 Software EngineeringRequirement/Specifications [Elicitation methods]; I.2.6 Artificial IntelligenceLearning[Induction] General Terms: Theory, Verification