Update docs/codeql/codeql-language-guides/extensible-predicates.rst

Co-authored-by: Ben Ahmady <[email protected]>

Author: felicitymay

docs/codeql/codeql-language-guides/extensible-predicates.rst

@@ -158,22 +158,21 @@ Provenance
 ----------
 
 The ``provenance`` column is used to specify the provenance (origin) of the model definition and how the model was verified.
-The following values are supported:
+The following values are supported.
 
 - ``manual``: The model was manually created and added to the extensible predicate.
 
-or values in the form ``origin-verification``, where origin is one of:
+Values can also take the form`ORIGIN-VERIFICATION`, where `ORIGIN` is one of:
 
 - ``ai``: The model was generated by artificial intelligence (AI).
 - ``df``: The model was generated by the dataflow model generator.
 - ``tb``: The model was generated by the type based model generator.
 - ``hq``: The model was generated using a heuristic query.
 
-and verification is one of:
+And `VERIFICATION` is one of:
 
 - ``manual``: The model was verified by a human.
 - ``generated``: The model was generated, but not verified by a human.
-
 The provenance is used to distinguish between models that are manually added (or verified) to the extensible predicate and models that are automatically generated.
 Furthermore, it impacts the dataflow analysis in the following way: