GenDifS Semantics

GenDifS Semantics