Todo

I understand the lower-order representation, let me clarify my question. What additional semantics is incorporated

```
(EvaluationLink
        (PredicateNode v1_instance) ...)

```
that isn't included in 

```
(EvaluationLink
          (PredicateNode "able_to") ...)
``` ?