% Microsoft 2017 10-K, Load Verification Rules Dynamically, Knowledge Graph Demonstration %
checkReport3("https://www.sec.gov/Archives/edgar/data/789019/000156459017014900/msft-20170630.xml",
['http://www.xbrlsite.com/2021/kg/us-gaap/mathematics/mathematics2.xsd',
'http://www.xbrlsite.com/2021/kg/us-gaap/fac/ReportingStyles/COMID-BSC-CF1-ISM-IEMIB-OILY-SPEC6_schema.xsd',
'http://www.xbrlsite.com/2021/kg/us-gaap/model-structure/model-structure-rules-def.xml',
'http://www.xbrlsite.com/2021/kg/us-gaap/type-subtype/type-subtype.xsd',
'http://www.xbrlsite.com/2021/kg/us-gaap/disclosure-mechanics/disclosure-mechanics.xsd',
'http://www.xbrlsite.com/2021/kg/us-gaap/reporting-checklist/reporting-checklist2-rules-def.xml',
'http://xbrl.fasb.org/us-gaap/2017/elts/us-gaap-ref-2017-01-31.xml',
'http://xbrl.fasb.org/us-gaap/2017/elts/us-gaap-doc-2017-01-31.xml'],
[newRulesFormat, removePrecondFallbacks, removeValueAssertionFallbacks, doNOTaddFACzeros, extendedJSON, cacheValidity(3600)], Result).