Abstraction and grounding