Sitel+vo+zivo Guide

We define: [ \llbracket \textzivo \rrbracket = \lambda w . \ \textLiving(w) ] [ \llbracket \textvo \rrbracket = \lambda Q \lambda Y . \ Q(Y) \land |Y| = 4 ] Here ( Q ) is a predicate (like zivo) that applies to plural individuals.

Thus: [ \llbracket \textvo zivo \rrbracket = \lambda Y . \ \textLiving(Y) \land |Y| = 4 ] Meaning: Y is a collection of four living beings. sitel+vo+zivo

Now sitel: [ \llbracket \textsitel \rrbracket = \lambda P \lambda x \lambda e . \ \textAgent(e, x) \land \textSource(e) \land P(\textTheme(e)) ] But careful: in simpler event semantics,
[ \textsitel(x, y) \leftrightarrow \exists e [\textSource(e) \land \textAgent(e, x) \land \textTheme(e, y)] ] We define: [ \llbracket \textzivo \rrbracket = \lambda w

There are a few ways to access the live stream, but it is important to choose the right method for the best experience. Thus: [ \llbracket \textvo zivo \rrbracket = \lambda Y

No technology is perfect. Here are the pitfalls of sitel+vo+zivo and how to avoid them.