Derived Embodiment in Abstract Language | EKB DL