What the Reasoner Knows That You Did Not Write Down

Every model says more than it states. The interesting question in model-based systems engineering (MBSE) is not what you wrote...