Atom match variable; fact with atom match fact with variable