Definition keyAssignmentsReferences
  (k : keyAssignments)
  (s : clips)
: Prop :=
  forall p, In p (kasList k) -> keyAssignmentReferencesExists p s.
