Fixed typo
Updated README with remaining rules, temporal reasoning, AA