extraction of partial reduction semantics