Jack is entitled to the right to life and liberty, has human rights, or knows about the first-in-first-out data structure.
(EntitledTo(jack, rightToLifeAndLiberty) ∨ Have(jack, humanRights) ∨ Know(jack, firstInFirstOutDataStructure))