一个描述逻辑的推理问题，不知道该怎么写推理过程

问题如图片所示，使用的是EL的描述逻辑语言或者是一般的编程语言都可以，得出答案推理出A包含于D即可~求解释