added sentence reminding of psl inference and cleaned up language to make fit on 7 pages