包括 first-order logic 的结果。
是否要仅显示 First Order Logic 的结果?