Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies | IEEE Conference Publication | IEEE Xplore