Assertion list for term "contained in first level trie element".
Results from Ascent++: 1
prefix → ReceivesAction → contained in first level trie element 0.25