Added more hal semantics to Readings