OPERA: Operations-oriented Probabilistic Extraction, Reasoning, and Analysis | AMiner