english: attempt to improve predicates instructions
updating specs