Allow multiple connectors of the same type.
linas opened this issue · 1 comments
linas commented
The code, as written, currently allows only one connector of a given type in a disjunct. Of course, it should be possible to have more than one; this requires adding tracking info as to which of several can be referred to. This should not be hard, but it is invasive.