diff --git a/README.md b/README.md
index 899658ad..8f16312e 100644
--- a/README.md
+++ b/README.md
@@ -126,6 +126,11 @@ yes
 X = h
 Z = f(f(a), g(b), _7)
 Y = g(b)
+l2> ?- p(f(X, Y, Z), Y, h).
+yes
+X = f(a)
+Z = _4
+Y = g(b)
 l2> quit
 ```