Derived Embodiment in Abstract Language