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.
> 

I agree, that was an objective.

Jeremy