Create Predicat A*