in the case the parameter of .desire/.intention is not ground, unifies it with all possible values.
e.g.
.intends(go(X)) unifies X with all intentions to go.
.intends(X) unifies X with all intentions
done
done