The property prov:wasGeneratedBy is declared and referred to by its full path http://www.w3.org/ns/prov#wasGeneratedBy rather than the shorter prov:wasGeneratedBy.
The property restriction for prov:wasGeneratedBy on cids:Counterfactual is owl:onClass act:Activity but should be owl:onClass cids:Activity