Function knows 

pub fn knows(
    graph: &[NQuin],
    accesses_i: u64,
    world: u64,
    prop: u64,
    holds: u64,
) -> bool

K_i φ — agent i (via its accesses_i relation) knows prop at world: every world i-accessible from world satisfies it.