Fact with variable match fact with atom