 Inclusion logic (Galliani 2012, Galliani &amp; Hella 2013) extends first-order logic with inclusion atoms \(\vec x \subseteq \vec y\), reminiscent of the inclusion dependencies of database theory. Its semantics is: