takes a label and an property IRI and return Left is the followOn is not satisfied, or Right(genIri) if the followOn condition is satisfied with a generated shape label genIri