pub fn jural_correlativity_holds(rel: &NQuin, graph: &[NQuin]) -> bool
Does graph already contain the necessary correlative of rel?
graph
rel