Skip to content

Commit

Permalink
Update formal-testing.ipynb
Browse files Browse the repository at this point in the history
  • Loading branch information
sbrzt authored Sep 9, 2024
1 parent 6c81c37 commit f895c3d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/examples/01/formal-testing.ipynb
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,7 @@
"outputs": [],
"source": [
"text3 = '''CQ_3\n",
"What are the low, probable and high estimates of the measures that are referred to by statements\n assigned to a CHO by analysis activities?\n",
"What are the low, probable, and high estimates for the measures linked to a CHO based on analysis activities?\n",
"'''\n",
"\n",
"query3 = '''\n",
Expand Down

0 comments on commit f895c3d

Please sign in to comment.