pub fn has_objective_proof(quins: &[NQuin], proposition_hash: u64) -> bool
Return true if any quin in the slice classifies proposition as ObjectiveKnowledge for at least one agent.
proposition