Hot: graphbased-reasoning