The approach would be as follows: 1. Get a corpus of text 2. Parse the text using OpenCog (RelEx or Syn2Sem) 3. Mine logical relationships among Atomrelationships from the data thus produced, using greedy data-mining. MOSES, or other methods These mined logical relationships will then be loosely analogous to