Is there a way to express a rule like "every fact of type X in session is like this" -> ... I can see that it can be done with some (acc/all) with and without some specification and test the size of the two resulting collections, but is there some other way?