pub fn agent_knows(epistemic: &[NQuin], agent: u64, claim: u64) -> bool
Did agent (per the epistemic frame) KNOW claim? An epistemic quin with predicate[0..7] == OP_KNOWS, subject == agent, object == claim.
agent
claim
predicate[0..7] == OP_KNOWS
subject == agent
object == claim