extraction of horizon & reduction semantics