( a ): the DAG representing classes and relations between them. ( b ...