Ingest entailment with subclassing, and hasTranscript.