Still Adding transitivity/entail features