Created
August 11, 2023 13:07
-
-
Save FOBshippingpoint/3e8736d7a90af083f84cff46ea81a3cb to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"success": true, | |
"type": null, | |
"status": 200, | |
"detail": null, | |
"instance": null, | |
"data": { | |
"criterion 1": { | |
"fullExpr": "rule([C0023091; t < forever]) and rule([0301B < 12; t > 30day and t < 10mo] and [C1530795; t > 30day and t < 10mo])", | |
"substitute": "$0 and $1", | |
"subFacts": [ | |
{ | |
"fullExpr": "rule([C0023091; t < forever])", | |
"substitute": "rule($0)", | |
"subFacts": [ | |
{ | |
"fullExpr": "[C0023091; t < forever]", | |
"substitute": "[$0; $1]", | |
"subFacts": [ | |
{ | |
"fullExpr": "C0023091", | |
"substitute": null, | |
"subFacts": null, | |
"granularity": "UNSTRUCTURED_CONSTRAINT", | |
"evidence": { | |
"agreeRatio": 1, | |
"provens": [ | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[0].mappingResult[0].matchedTextInfo.textMappingResults[0]", | |
"cui": "C0023091", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[0].mappingResult[5].matchedTextInfo.textMappingResults[8]", | |
"cui": "C0023091", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[0].mappingResult[16].matchedTextInfo.textMappingResults[0]", | |
"cui": "C0023091", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[0].mappingResult[17].matchedTextInfo.textMappingResults[8]", | |
"cui": "C0023091", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
} | |
] | |
}, | |
"satisfied": true | |
}, | |
{ | |
"fullExpr": "t < forever", | |
"substitute": "$0", | |
"subFacts": [ | |
{ | |
"fullExpr": "t < forever", | |
"substitute": null, | |
"subFacts": null, | |
"granularity": "TIME_CONSTRAINT", | |
"evidence": { | |
"agreeRatio": 1, | |
"provens": [ | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[0].mappingResult[0].matchedTextInfo.textMappingResults[0]", | |
"cui": "C0023091", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[0].mappingResult[5].matchedTextInfo.textMappingResults[8]", | |
"cui": "C0023091", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[0].mappingResult[16].matchedTextInfo.textMappingResults[0]", | |
"cui": "C0023091", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[0].mappingResult[17].matchedTextInfo.textMappingResults[8]", | |
"cui": "C0023091", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
} | |
] | |
}, | |
"satisfied": true | |
} | |
], | |
"granularity": "MANY_TIME", | |
"evidence": null, | |
"satisfied": true | |
} | |
], | |
"granularity": "ONE_MAIN_MANY_TIME", | |
"evidence": null, | |
"satisfied": true | |
} | |
], | |
"granularity": "RULE", | |
"evidence": null, | |
"satisfied": true | |
}, | |
{ | |
"fullExpr": "rule([0301B < 12; t > 30day and t < 10mo] and [C1530795; t > 30day and t < 10mo])", | |
"substitute": "rule($0 and $1)", | |
"subFacts": [ | |
{ | |
"fullExpr": "[0301B < 12; t > 30day and t < 10mo]", | |
"substitute": "[$0; $1]", | |
"subFacts": [ | |
{ | |
"fullExpr": "0301B < 12", | |
"substitute": null, | |
"subFacts": null, | |
"granularity": "STRUCTURED_CONSTRAINT", | |
"evidence": { | |
"agreeRatio": 0.875, | |
"provens": [ | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2019-09-04T00:00:00", | |
"code": "0301B", | |
"value": 12 | |
}, | |
"satisfied": false | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2020-05-22T00:00:00", | |
"code": "0301B", | |
"value": 11.5 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2020-10-06T00:00:00", | |
"code": "0301B", | |
"value": 11.4 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2021-03-19T00:00:00", | |
"code": "0301B", | |
"value": 10.9 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2021-05-14T00:00:00", | |
"code": "0301B", | |
"value": 11 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2022-07-15T00:00:00", | |
"code": "0301B", | |
"value": 11.5 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2023-01-27T00:00:00", | |
"code": "0301B", | |
"value": 10.7 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2023-04-23T00:00:00", | |
"code": "0301B", | |
"value": 11.9 | |
}, | |
"satisfied": true | |
} | |
] | |
}, | |
"satisfied": true | |
}, | |
{ | |
"fullExpr": "t > 30day and t < 10mo", | |
"substitute": "$0 and $1", | |
"subFacts": [ | |
{ | |
"fullExpr": "t > 30day", | |
"substitute": null, | |
"subFacts": null, | |
"granularity": "TIME_CONSTRAINT", | |
"evidence": { | |
"agreeRatio": 1, | |
"provens": [ | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2019-09-04T00:00:00", | |
"code": "0301B", | |
"value": 12 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2020-05-22T00:00:00", | |
"code": "0301B", | |
"value": 11.5 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2020-10-06T00:00:00", | |
"code": "0301B", | |
"value": 11.4 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2021-03-19T00:00:00", | |
"code": "0301B", | |
"value": 10.9 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2021-05-14T00:00:00", | |
"code": "0301B", | |
"value": 11 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2022-07-15T00:00:00", | |
"code": "0301B", | |
"value": 11.5 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2023-01-27T00:00:00", | |
"code": "0301B", | |
"value": 10.7 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2023-04-23T00:00:00", | |
"code": "0301B", | |
"value": 11.9 | |
}, | |
"satisfied": true | |
} | |
] | |
}, | |
"satisfied": true | |
}, | |
{ | |
"fullExpr": "t < 10mo", | |
"substitute": null, | |
"subFacts": null, | |
"granularity": "TIME_CONSTRAINT", | |
"evidence": { | |
"agreeRatio": 0.25, | |
"provens": [ | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2019-09-04T00:00:00", | |
"code": "0301B", | |
"value": 12 | |
}, | |
"satisfied": false | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2020-05-22T00:00:00", | |
"code": "0301B", | |
"value": 11.5 | |
}, | |
"satisfied": false | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2020-10-06T00:00:00", | |
"code": "0301B", | |
"value": 11.4 | |
}, | |
"satisfied": false | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2021-03-19T00:00:00", | |
"code": "0301B", | |
"value": 10.9 | |
}, | |
"satisfied": false | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2021-05-14T00:00:00", | |
"code": "0301B", | |
"value": 11 | |
}, | |
"satisfied": false | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2022-07-15T00:00:00", | |
"code": "0301B", | |
"value": 11.5 | |
}, | |
"satisfied": false | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2023-01-27T00:00:00", | |
"code": "0301B", | |
"value": 10.7 | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": "2023-04-23T00:00:00", | |
"code": "0301B", | |
"value": 11.9 | |
}, | |
"satisfied": true | |
} | |
] | |
}, | |
"satisfied": false | |
} | |
], | |
"granularity": "MANY_TIME", | |
"evidence": null, | |
"satisfied": false | |
} | |
], | |
"granularity": "ONE_MAIN_MANY_TIME", | |
"evidence": null, | |
"satisfied": false | |
}, | |
{ | |
"fullExpr": "[C1530795; t > 30day and t < 10mo]", | |
"substitute": "[$0; $1]", | |
"subFacts": [ | |
{ | |
"fullExpr": "C1530795", | |
"substitute": null, | |
"subFacts": null, | |
"granularity": "UNSTRUCTURED_CONSTRAINT", | |
"evidence": { | |
"agreeRatio": 1, | |
"provens": [ | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[0].matchedTextInfo.textMappingResults[1]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[2].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[2].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[4].matchedTextInfo.textMappingResults[2]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[9].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[9].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[0].matchedTextInfo.textMappingResults[1]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[2].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[2].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[4].matchedTextInfo.textMappingResults[2]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[9].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[9].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
} | |
] | |
}, | |
"satisfied": true | |
}, | |
{ | |
"fullExpr": "t > 30day and t < 10mo", | |
"substitute": "$0 and $1", | |
"subFacts": [ | |
{ | |
"fullExpr": "t > 30day", | |
"substitute": null, | |
"subFacts": null, | |
"granularity": "TIME_CONSTRAINT", | |
"evidence": { | |
"agreeRatio": 1, | |
"provens": [ | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[0].matchedTextInfo.textMappingResults[1]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[2].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[2].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[4].matchedTextInfo.textMappingResults[2]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[9].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[9].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[0].matchedTextInfo.textMappingResults[1]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[2].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[2].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[4].matchedTextInfo.textMappingResults[2]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[9].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[9].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
} | |
] | |
}, | |
"satisfied": true | |
}, | |
{ | |
"fullExpr": "t < 10mo", | |
"substitute": null, | |
"subFacts": null, | |
"granularity": "TIME_CONSTRAINT", | |
"evidence": { | |
"agreeRatio": 1, | |
"provens": [ | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[0].matchedTextInfo.textMappingResults[1]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[2].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[2].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[4].matchedTextInfo.textMappingResults[2]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[9].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[1].mappingResult[9].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[0].matchedTextInfo.textMappingResults[1]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[2].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[2].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[4].matchedTextInfo.textMappingResults[2]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[9].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
}, | |
{ | |
"truth": { | |
"currentDateTime": "2023-08-11T19:52:19.6506268", | |
"dateTime": null, | |
"jsonPath": "$.results[2].mappingResult[9].matchedTextInfo.textMappingResults[7]", | |
"cui": "C1530795", | |
"cuiPresent": true | |
}, | |
"satisfied": true | |
} | |
] | |
}, | |
"satisfied": true | |
} | |
], | |
"granularity": "MANY_TIME", | |
"evidence": null, | |
"satisfied": true | |
} | |
], | |
"granularity": "ONE_MAIN_MANY_TIME", | |
"evidence": null, | |
"satisfied": true | |
} | |
], | |
"granularity": "RULE", | |
"evidence": null, | |
"satisfied": true | |
} | |
], | |
"granularity": "CRITERION", | |
"evidence": null, | |
"satisfied": false | |
}, | |
"criterion 2": { | |
"fullExpr": "rule([C4049279; t < forever] and [C0014544; t < forever])", | |
"substitute": "$0", | |
"subFacts": [ | |
{ | |
"fullExpr": "rule([C4049279; t < forever] and [C0014544; t < forever])", | |
"substitute": "rule($0 and $1)", | |
"subFacts": [ | |
{ | |
"fullExpr": "[C4049279; t < forever]", | |
"substitute": "[$0; $1]", | |
"subFacts": [ | |
{ | |
"fullExpr": "C4049279", | |
"substitute": null, | |
"subFacts": null, | |
"granularity": "UNSTRUCTURED_CONSTRAINT", | |
"evidence": { | |
"agreeRatio": 0, | |
"provens": [] | |
}, | |
"satisfied": false | |
}, | |
{ | |
"fullExpr": "t < forever", | |
"substitute": "$0", | |
"subFacts": [ | |
{ | |
"fullExpr": "t < forever", | |
"substitute": null, | |
"subFacts": null, | |
"granularity": "TIME_CONSTRAINT", | |
"evidence": { | |
"agreeRatio": 0, | |
"provens": [] | |
}, | |
"satisfied": false | |
} | |
], | |
"granularity": "MANY_TIME", | |
"evidence": null, | |
"satisfied": false | |
} | |
], | |
"granularity": "ONE_MAIN_MANY_TIME", | |
"evidence": null, | |
"satisfied": false | |
}, | |
{ | |
"fullExpr": "[C0014544; t < forever]", | |
"substitute": "[$0; $1]", | |
"subFacts": [ | |
{ | |
"fullExpr": "C0014544", | |
"substitute": null, | |
"subFacts": null, | |
"granularity": "UNSTRUCTURED_CONSTRAINT", | |
"evidence": { | |
"agreeRatio": 0, | |
"provens": [] | |
}, | |
"satisfied": false | |
}, | |
{ | |
"fullExpr": "t < forever", | |
"substitute": "$0", | |
"subFacts": [ | |
{ | |
"fullExpr": "t < forever", | |
"substitute": null, | |
"subFacts": null, | |
"granularity": "TIME_CONSTRAINT", | |
"evidence": { | |
"agreeRatio": 0, | |
"provens": [] | |
}, | |
"satisfied": false | |
} | |
], | |
"granularity": "MANY_TIME", | |
"evidence": null, | |
"satisfied": false | |
} | |
], | |
"granularity": "ONE_MAIN_MANY_TIME", | |
"evidence": null, | |
"satisfied": false | |
} | |
], | |
"granularity": "RULE", | |
"evidence": null, | |
"satisfied": false | |
} | |
], | |
"granularity": "CRITERION", | |
"evidence": null, | |
"satisfied": false | |
} | |
}, | |
"timestamp": "2023-08-11T19:52:23.1069656" | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment