Text this: Knowledge representation for quranic verses using logical formalism /