abstract semantics