. "prov:generalizationOf" . . . .