Got rid of EL-KR, as per Martins suggestion, and updated the two knowledge-representation sections appropriately