Turning Variables Into Knowledge Tree