NOVA Semantics