poi
pub fn distributive<M: Into<Symbol>, A: Into<Symbol>>( mul: M, add: A) -> Knowledge
Knowledge about a distributive relationship.