∀v,s,x(On(s,v)∧C(x,s)→P(v))

v = a video

s = a screen

x = a user

On(s,v): screen s shows video v

C(x,s): user x clicks on screen s

P(v): video v plays

“For every video, screen, and user: if the screen shows the video and the user clicks on it, then the video plays.”