Definition keyAssignmentReferencesClip
  (k : keyAssignment)
  (s : clip)
: Prop :=
  (kaClipId k) = (clipId s).
