Incremental update

Continued implementing various a_predicate and e_predicate methods, all
that remains is enrolled and assign