Re: SEM: comprehensive entailments without dark triples

The problem with these comprehension principles is that they do not
generate non-tree structures.  Therefore classes that are not in the form
of trees (yes, this is rather vague, but my previous message gives one
example) will not be consequences.

peter