Clausal goal type instantiated to PSGraph