ResultType ContactPenetration.ResultType { get; set; }