diff --git a/shared/dataflow/codeql/dataflow/internal/FlowSummaryImpl.qll b/shared/dataflow/codeql/dataflow/internal/FlowSummaryImpl.qll
index f7a47bdc74b..d7667257192 100644
--- a/shared/dataflow/codeql/dataflow/internal/FlowSummaryImpl.qll
+++ b/shared/dataflow/codeql/dataflow/internal/FlowSummaryImpl.qll
@@ -332,6 +332,14 @@ module Make<
      */
     final class RelevantSummarizedCallable extends SummarizedCallableFinal {
       RelevantSummarizedCallable() { this instanceof SummarizedCallableImpl }
+
+      /**
+       * Holds if there exists a manual summary that applies to this callable.
+       */
+      final predicate hasManualModel() {
+        any(Provenance p | this.(SummarizedCallableImpl).propagatesFlow(_, _, _, p, _, _))
+            .isManual()
+      }
     }
 
     /** A source element. */