Text this: A deductive calculus for conditional equational systems with built-in predicates as premises