pub fn associative<S: Into<Symbol>>(s: S) -> Knowledge
Knowledge about an associative binary operator.