pub trait Relation<F: Ranked> { // Required method fn contains(&self, terms: &[&Term<F>]) -> bool; }
Check if the relation contains the given terms. The number of term must be equal to the arity of the relation.