Backward explanations via redefinition of predicates

Re-assign community