add rules for term traversal all and one (incomplete)