More restrictions on grouping, use the space the bar to add additional facts and operators. Next: negation, get fact from dom, and possible validation