Use non-protected atomspace
Update formatting in EvaluationToMemberRule