opencog/opencog — pull request #947 by williampma (2014-07-24 03:11:16+00:00)
Title: R2L: all-rule complete package (both pre- and post-processing), version 1

Create `PredicateNode "allmarker"` with the `noun_instance` for post-processing.

In post-processing, bring in links that include `noun_instance` and structure them within the form:

```
ForAllLink
VariableNode "$X"
ImplicationLink
InheritanceLink "$X" noun_instance
AndLink
** links involving noun_instance **
```

Does not work with SuReal's r2l function yet, since this version still assume each links created by R2L are isolated (so I can find the root link by going to the node with no incoming set). It also involves hypergraph deleting, which also won't work with SuReal's r2l.