holds_result(test, holds_result(joe, good(cobbler))).