Modeling Expert Opinion Arising as a Partial Probabilistic Specification | Synapse