Use prove:agent instead of prov:Agent