The HasProperty-ReferenceType introduces "Domain"-Restrictions (not all Nodes can be target of a HasProperty-Reference) OPC UA Part 3:

7.8 HasProperty ReferenceType "The SourceNode of this ReferenceType can be of any NodeClass. The TargetNode shall be a Variable. By using the HasProperty Reference, the Variable is defined as Property. Since Properties shall not have Properties, a Property shall never be the SourceNode of a HasProperty Reference."

5.6.3 Properties: "The HasTypeDefinition Reference points to the VariableType of the Property. Since Properties are uniquely identified by their BrowseName, all Properties shall point to the PropertyType defined in Part 5."

5.3.3.3 HasSubtype References: "c) The constraints concerning which NodeClasses can be referenced are also inherited and can only be further restricted. That is, if a ReferenceType “A” is not allowed to relate an Object with an ObjectType, this is also true for its subtypes."

Based on the above OPC UA rules the following statement is incosistent:
ISA-95 9.2.10 HasTestResult
The HasTestResult is a concrete ReferenceType that can be used directly. It is a subtype of HasProperty.
The TargetNode of this ReferenceType shall be a Variable of ISA95TestResultType or its subtype.

7.5.4 ISA95TestResultType
The ISA95TestResultdType is a concrete VariableType that can be used directly. It is a subtype of BaseDataVariableType defined in OPC UA Part 5.

opc:BaseDataVarialbeType is disjoint with opc:PropertyType
In addition, it is also not allowed to subtype the opc:PropertyType (OPC UA Part 5):
7.3 PropertyType
The PropertyType is a subtype of the BaseVariableType. It is used as the type definition for all Properties. Properties are defined by their BrowseName and therefore they do not need a specialised type definition. It is not allowed to subtype this VariableType.

Additional info:
Please also check HasCDTSupplemental-ReferenceType and LocatedIn-ReferenceType (also subtypes of HasProperty...)