callsWithVariablesAndInspectorTheory

<observe>_one(X) :- <observe>([X])
p(A, B, C) :-
  <observe>([A, B, C]),
  <observe>_one(D),
  <observe>_one(E),
  <observe>([f(A), f(B), f(C), f(D), f(E)]).