Add groundRule (rule with ground atom and ordered atoms)
Rule return vector of atoms