{"cik":1052054,"taxonomy":"us-gaap","tag":"AssetsCurrent","label":"Assets, Current","description":"Sum of the carrying amounts as of the balance sheet date of all assets that are expected to be realized in cash, sold, or consumed within one year (or the normal operating cycle, if longer). Assets are probable future economic benefits obtained or controlled by an entity as a result of past transactions or events.","entityName":"Symbolic Logic, Inc.","units":{"USD":[{"end":"2010-12-31","val":26447000,"accn":"0001104659-11-046471","fy":2011,"fp":"Q2","form":"10-Q","filed":"2011-08-12"},{"end":"2010-12-31","val":26447000,"accn":"0001104659-11-063260","fy":2011,"fp":"Q3","form":"10-Q","filed":"2011-11-10"},{"end":"2010-12-31","val":26447000,"accn":"0001104659-12-022850","fy":2011,"fp":"Q2","form":"10-Q/A","filed":"2012-03-30"},{"end":"2010-12-31","val":26447000,"accn":"0001104659-12-022851","fy":2011,"fp":"Q3","form":"10-Q/A","filed":"2012-03-30"},{"end":"2010-12-31","val":26447000,"accn":"0001104659-12-022857","fy":2011,"fp":"FY","form":"10-K","filed":"2012-03-30","frame":"CY2010Q4I"},{"end":"2011-06-30","val":37259000,"accn":"0001104659-11-046471","fy":2011,"fp":"Q2","form":"10-Q","filed":"2011-08-12"},{"end":"2011-06-30","val":35736000,"accn":"0001104659-12-022850","fy":2011,"fp":"Q2","form":"10-Q/A","filed":"2012-03-30","frame":"CY2011Q2I"},{"end":"2011-09-30","val":36430000,"accn":"0001104659-11-063260","fy":2011,"fp":"Q3","form":"10-Q","filed":"2011-11-10"},{"end":"2011-09-30","val":36263000,"accn":"0001104659-12-022851","fy":2011,"fp":"Q3","form":"10-Q/A","filed":"2012-03-30","frame":"CY2011Q3I"},{"end":"2011-12-31","val":41857000,"accn":"0001104659-12-022857","fy":2011,"fp":"FY","form":"10-K","filed":"2012-03-30"},{"end":"2011-12-31","val":41857000,"accn":"0001104659-12-034521","fy":2012,"fp":"Q1","form":"10-Q","filed":"2012-05-08"},{"end":"2011-12-31","val":41857000,"accn":"0001104659-12-055275","fy":2012,"fp":"Q2","form":"10-Q","filed":"2012-08-07"},{"end":"2011-12-31","val":41857000,"accn":"0001104659-12-077431","fy":2012,"fp":"Q3","form":"10-Q","filed":"2012-11-13"},{"end":"2011-12-31","val":41857000,"accn":"0001104659-13-019789","fy":2012,"fp":"FY","form":"10-K","filed":"2013-03-12","frame":"CY2011Q4I"},{"end":"2012-03-31","val":20534000,"accn":"0001104659-12-034521","fy":2012,"fp":"Q1","form":"10-Q","filed":"2012-05-08","frame":"CY2012Q1I"},{"end":"2012-06-30","val":19252000,"accn":"0001104659-12-055275","fy":2012,"fp":"Q2","form":"10-Q","filed":"2012-08-07","frame":"CY2012Q2I"},{"end":"2012-09-30","val":22204000,"accn":"0001104659-12-077431","fy":2012,"fp":"Q3","form":"10-Q","filed":"2012-11-13","frame":"CY2012Q3I"},{"end":"2012-12-31","val":19635000,"accn":"0001104659-13-019789","fy":2012,"fp":"FY","form":"10-K","filed":"2013-03-12"},{"end":"2012-12-31","val":19635000,"accn":"0001104659-13-038290","fy":2013,"fp":"Q1","form":"10-Q","filed":"2013-05-07"},{"end":"2012-12-31","val":19635000,"accn":"0001104659-13-063341","fy":2013,"fp":"Q2","form":"10-Q","filed":"2013-08-13"},{"end":"2012-12-31","val":19635000,"accn":"0001104659-13-083691","fy":2013,"fp":"Q3","form":"10-Q","filed":"2013-11-12"},{"end":"2012-12-31","val":19635000,"accn":"0001104659-14-018434","fy":2013,"fp":"FY","form":"10-K","filed":"2014-03-11","frame":"CY2012Q4I"},{"end":"2013-03-31","val":21332000,"accn":"0001104659-13-038290","fy":2013,"fp":"Q1","form":"10-Q","filed":"2013-05-07","frame":"CY2013Q1I"},{"end":"2013-06-30","val":22069000,"accn":"0001104659-13-063341","fy":2013,"fp":"Q2","form":"10-Q","filed":"2013-08-13","frame":"CY2013Q2I"},{"end":"2013-09-30","val":22302000,"accn":"0001104659-13-083691","fy":2013,"fp":"Q3","form":"10-Q","filed":"2013-11-12","frame":"CY2013Q3I"},{"end":"2013-12-31","val":23932000,"accn":"0001104659-14-018434","fy":2013,"fp":"FY","form":"10-K","filed":"2014-03-11"},{"end":"2013-12-31","val":23932000,"accn":"0001104659-14-035272","fy":2014,"fp":"Q1","form":"10-Q","filed":"2014-05-06"},{"end":"2013-12-31","val":23932000,"accn":"0001104659-14-056981","fy":2014,"fp":"Q2","form":"10-Q","filed":"2014-08-05"},{"end":"2013-12-31","val":23932000,"accn":"0001104659-14-076565","fy":2014,"fp":"Q3","form":"10-Q","filed":"2014-11-04"},{"end":"2013-12-31","val":23932000,"accn":"0001104659-15-020488","fy":2014,"fp":"FY","form":"10-K","filed":"2015-03-17","frame":"CY2013Q4I"},{"end":"2014-03-31","val":22771000,"accn":"0001104659-14-035272","fy":2014,"fp":"Q1","form":"10-Q","filed":"2014-05-06","frame":"CY2014Q1I"},{"end":"2014-06-30","val":24439000,"accn":"0001104659-14-056981","fy":2014,"fp":"Q2","form":"10-Q","filed":"2014-08-05","frame":"CY2014Q2I"},{"end":"2014-09-30","val":23745000,"accn":"0001104659-14-076565","fy":2014,"fp":"Q3","form":"10-Q","filed":"2014-11-04","frame":"CY2014Q3I"},{"end":"2014-12-31","val":25369000,"accn":"0001104659-15-020488","fy":2014,"fp":"FY","form":"10-K","filed":"2015-03-17"},{"end":"2014-12-31","val":25369000,"accn":"0001104659-15-034322","fy":2015,"fp":"Q1","form":"10-Q","filed":"2015-05-05"},{"end":"2014-12-31","val":25369000,"accn":"0001104659-15-055912","fy":2015,"fp":"Q2","form":"10-Q","filed":"2015-08-04"},{"end":"2014-12-31","val":25369000,"accn":"0001104659-15-077691","fy":2015,"fp":"Q3","form":"10-Q","filed":"2015-11-10"},{"end":"2014-12-31","val":25369000,"accn":"0001104659-16-105253","fy":2015,"fp":"FY","form":"10-K","filed":"2016-03-15","frame":"CY2014Q4I"},{"end":"2015-03-31","val":23771000,"accn":"0001104659-15-034322","fy":2015,"fp":"Q1","form":"10-Q","filed":"2015-05-05","frame":"CY2015Q1I"},{"end":"2015-06-30","val":23108000,"accn":"0001104659-15-055912","fy":2015,"fp":"Q2","form":"10-Q","filed":"2015-08-04","frame":"CY2015Q2I"},{"end":"2015-09-30","val":24248000,"accn":"0001104659-15-077691","fy":2015,"fp":"Q3","form":"10-Q","filed":"2015-11-10","frame":"CY2015Q3I"},{"end":"2015-12-31","val":21744000,"accn":"0001104659-16-105253","fy":2015,"fp":"FY","form":"10-K","filed":"2016-03-15"},{"end":"2015-12-31","val":21744000,"accn":"0001104659-16-117216","fy":2016,"fp":"Q1","form":"10-Q","filed":"2016-05-03"},{"end":"2015-12-31","val":21744000,"accn":"0001104659-16-136156","fy":2016,"fp":"Q2","form":"10-Q","filed":"2016-08-02"},{"end":"2015-12-31","val":21744000,"accn":"0001104659-16-155586","fy":2016,"fp":"Q3","form":"10-Q","filed":"2016-11-08"},{"end":"2015-12-31","val":21744000,"accn":"0001104659-17-019723","fy":2016,"fp":"FY","form":"10-K","filed":"2017-03-28","frame":"CY2015Q4I"},{"end":"2016-03-31","val":18850000,"accn":"0001104659-16-117216","fy":2016,"fp":"Q1","form":"10-Q","filed":"2016-05-03","frame":"CY2016Q1I"},{"end":"2016-06-30","val":18280000,"accn":"0001104659-16-136156","fy":2016,"fp":"Q2","form":"10-Q","filed":"2016-08-02","frame":"CY2016Q2I"},{"end":"2016-09-30","val":18362000,"accn":"0001104659-16-155586","fy":2016,"fp":"Q3","form":"10-Q","filed":"2016-11-08","frame":"CY2016Q3I"},{"end":"2016-12-31","val":18410000,"accn":"0001104659-17-019723","fy":2016,"fp":"FY","form":"10-K","filed":"2017-03-28"},{"end":"2016-12-31","val":18410000,"accn":"0001104659-17-031951","fy":2017,"fp":"Q1","form":"10-Q","filed":"2017-05-11"},{"end":"2016-12-31","val":18410000,"accn":"0001104659-17-050294","fy":2017,"fp":"Q2","form":"10-Q","filed":"2017-08-08"},{"end":"2016-12-31","val":18410000,"accn":"0001104659-17-068536","fy":2017,"fp":"Q3","form":"10-Q","filed":"2017-11-14"},{"end":"2016-12-31","val":18410000,"accn":"0001104659-18-021862","fy":2017,"fp":"FY","form":"10-K","filed":"2018-04-02","frame":"CY2016Q4I"},{"end":"2017-03-31","val":18917000,"accn":"0001104659-17-031951","fy":2017,"fp":"Q1","form":"10-Q","filed":"2017-05-11","frame":"CY2017Q1I"},{"end":"2017-06-30","val":21875000,"accn":"0001104659-17-050294","fy":2017,"fp":"Q2","form":"10-Q","filed":"2017-08-08","frame":"CY2017Q2I"},{"end":"2017-09-30","val":27678000,"accn":"0001104659-17-068536","fy":2017,"fp":"Q3","form":"10-Q","filed":"2017-11-14","frame":"CY2017Q3I"},{"end":"2017-12-31","val":25589000,"accn":"0001104659-18-021862","fy":2017,"fp":"FY","form":"10-K","filed":"2018-04-02"},{"end":"2017-12-31","val":25589000,"accn":"0001104659-18-033439","fy":2018,"fp":"Q1","form":"10-Q","filed":"2018-05-15"},{"end":"2017-12-31","val":25589000,"accn":"0001104659-18-051983","fy":2018,"fp":"Q2","form":"10-Q","filed":"2018-08-14"},{"end":"2017-12-31","val":25589000,"accn":"0001104659-18-067939","fy":2018,"fp":"Q3","form":"10-Q","filed":"2018-11-13"},{"end":"2017-12-31","val":25169000,"accn":"0001104659-19-019960","fy":2018,"fp":"FY","form":"10-K","filed":"2019-04-04","frame":"CY2017Q4I"},{"end":"2018-03-31","val":26923000,"accn":"0001104659-18-033439","fy":2018,"fp":"Q1","form":"10-Q","filed":"2018-05-15","frame":"CY2018Q1I"},{"end":"2018-06-30","val":25114000,"accn":"0001104659-18-051983","fy":2018,"fp":"Q2","form":"10-Q","filed":"2018-08-14","frame":"CY2018Q2I"},{"end":"2018-09-30","val":21600000,"accn":"0001104659-18-067939","fy":2018,"fp":"Q3","form":"10-Q","filed":"2018-11-13","frame":"CY2018Q3I"},{"end":"2018-12-31","val":20021000,"accn":"0001104659-19-019960","fy":2018,"fp":"FY","form":"10-K","filed":"2019-04-04"},{"end":"2018-12-31","val":20021000,"accn":"0001104659-19-029793","fy":2019,"fp":"Q1","form":"10-Q","filed":"2019-05-15"},{"end":"2018-12-31","val":20021000,"accn":"0001104659-19-046527","fy":2019,"fp":"Q2","form":"10-Q","filed":"2019-08-19"},{"end":"2018-12-31","val":20021000,"accn":"0001104659-19-062690","fy":2019,"fp":"Q3","form":"10-Q","filed":"2019-11-12"},{"end":"2018-12-31","val":20021000,"accn":"0001104659-20-040523","fy":2019,"fp":"FY","form":"10-K","filed":"2020-03-30","frame":"CY2018Q4I"},{"end":"2019-03-31","val":19364000,"accn":"0001104659-19-029793","fy":2019,"fp":"Q1","form":"10-Q","filed":"2019-05-15","frame":"CY2019Q1I"},{"end":"2019-06-30","val":19549000,"accn":"0001104659-19-046527","fy":2019,"fp":"Q2","form":"10-Q","filed":"2019-08-19","frame":"CY2019Q2I"},{"end":"2019-09-30","val":16314000,"accn":"0001104659-19-062690","fy":2019,"fp":"Q3","form":"10-Q","filed":"2019-11-12","frame":"CY2019Q3I"},{"end":"2019-12-31","val":13460000,"accn":"0001104659-20-040523","fy":2019,"fp":"FY","form":"10-K","filed":"2020-03-30"},{"end":"2019-12-31","val":13460000,"accn":"0001562762-20-000189","fy":2020,"fp":"Q1","form":"10-Q","filed":"2020-05-14"},{"end":"2019-12-31","val":13460000,"accn":"0001562762-20-000342","fy":2020,"fp":"Q2","form":"10-Q","filed":"2020-08-12"},{"end":"2019-12-31","val":13460000,"accn":"0001562762-20-000412","fy":2020,"fp":"Q3","form":"10-Q","filed":"2020-11-12"},{"end":"2019-12-31","val":13460000,"accn":"0001562762-21-000123","fy":2020,"fp":"FY","form":"10-K","filed":"2021-03-17","frame":"CY2019Q4I"},{"end":"2020-03-31","val":12808000,"accn":"0001562762-20-000189","fy":2020,"fp":"Q1","form":"10-Q","filed":"2020-05-14","frame":"CY2020Q1I"},{"end":"2020-06-30","val":14043000,"accn":"0001562762-20-000342","fy":2020,"fp":"Q2","form":"10-Q","filed":"2020-08-12","frame":"CY2020Q2I"},{"end":"2020-09-30","val":12919000,"accn":"0001562762-20-000412","fy":2020,"fp":"Q3","form":"10-Q","filed":"2020-11-12","frame":"CY2020Q3I"},{"end":"2020-12-31","val":13907000,"accn":"0001562762-21-000123","fy":2020,"fp":"FY","form":"10-K","filed":"2021-03-17"},{"end":"2020-12-31","val":13907000,"accn":"0001562762-21-000223","fy":2021,"fp":"Q1","form":"10-Q","filed":"2021-05-13"},{"end":"2020-12-31","val":13907000,"accn":"0001562762-21-000340","fy":2021,"fp":"Q2","form":"10-Q","filed":"2021-08-12"},{"end":"2020-12-31","val":13907000,"accn":"0001562762-21-000443","fy":2021,"fp":"Q3","form":"10-Q","filed":"2021-11-10"},{"end":"2020-12-31","val":13907000,"accn":"0001104659-22-044364","fy":2021,"fp":"FY","form":"10-K","filed":"2022-04-11","frame":"CY2020Q4I"},{"end":"2021-03-31","val":14974000,"accn":"0001562762-21-000223","fy":2021,"fp":"Q1","form":"10-Q","filed":"2021-05-13","frame":"CY2021Q1I"},{"end":"2021-06-30","val":16107000,"accn":"0001562762-21-000340","fy":2021,"fp":"Q2","form":"10-Q","filed":"2021-08-12","frame":"CY2021Q2I"},{"end":"2021-09-30","val":14966000,"accn":"0001562762-21-000443","fy":2021,"fp":"Q3","form":"10-Q","filed":"2021-11-10","frame":"CY2021Q3I"},{"end":"2021-12-31","val":39551000,"accn":"0001104659-22-044364","fy":2021,"fp":"FY","form":"10-K","filed":"2022-04-11"},{"end":"2021-12-31","val":39551000,"accn":"0001104659-22-059579","fy":2022,"fp":"Q1","form":"10-Q","filed":"2022-05-12"},{"end":"2021-12-31","val":39551000,"accn":"0001104659-22-089553","fy":2022,"fp":"Q2","form":"10-Q","filed":"2022-08-12"},{"end":"2021-12-31","val":39551000,"accn":"0001104659-22-116514","fy":2022,"fp":"Q3","form":"10-Q","filed":"2022-11-09","frame":"CY2021Q4I"},{"end":"2022-03-31","val":32219000,"accn":"0001104659-22-059579","fy":2022,"fp":"Q1","form":"10-Q","filed":"2022-05-12","frame":"CY2022Q1I"},{"end":"2022-06-30","val":30468000,"accn":"0001104659-22-089553","fy":2022,"fp":"Q2","form":"10-Q","filed":"2022-08-12","frame":"CY2022Q2I"},{"end":"2022-09-30","val":29194000,"accn":"0001104659-22-116514","fy":2022,"fp":"Q3","form":"10-Q","filed":"2022-11-09","frame":"CY2022Q3I"}]}}