Abstracted tree semantics.