Expanded the predicate and assertion interface.