Abstract Semantics

LCH 1