Task: Linguistic Probing
Input (English): She had been trying to narrow down a new definition , mathematically stated , of quantum probability .
Output (English): Original