log_implies(type(var(y), dog), is(test, true)).
is(test, true).