{"cik":1052054,"taxonomy":"us-gaap","tag":"LiabilitiesCurrent","label":"Liabilities, Current","description":"Total obligations incurred as part of normal operations that are expected to be paid during the following twelve months or within one business cycle, if longer.","entityName":"Symbolic Logic, Inc.","units":{"USD":[{"end":"2010-12-31","val":14635000,"accn":"0001104659-11-046471","fy":2011,"fp":"Q2","form":"10-Q","filed":"2011-08-12"},{"end":"2010-12-31","val":14635000,"accn":"0001104659-11-063260","fy":2011,"fp":"Q3","form":"10-Q","filed":"2011-11-10"},{"end":"2010-12-31","val":14635000,"accn":"0001104659-12-022850","fy":2011,"fp":"Q2","form":"10-Q/A","filed":"2012-03-30"},{"end":"2010-12-31","val":14635000,"accn":"0001104659-12-022851","fy":2011,"fp":"Q3","form":"10-Q/A","filed":"2012-03-30"},{"end":"2010-12-31","val":14635000,"accn":"0001104659-12-022857","fy":2011,"fp":"FY","form":"10-K","filed":"2012-03-30","frame":"CY2010Q4I"},{"end":"2011-06-30","val":12102000,"accn":"0001104659-11-046471","fy":2011,"fp":"Q2","form":"10-Q","filed":"2011-08-12"},{"end":"2011-06-30","val":12102000,"accn":"0001104659-12-022850","fy":2011,"fp":"Q2","form":"10-Q/A","filed":"2012-03-30","frame":"CY2011Q2I"},{"end":"2011-09-30","val":8512000,"accn":"0001104659-11-063260","fy":2011,"fp":"Q3","form":"10-Q","filed":"2011-11-10"},{"end":"2011-09-30","val":8512000,"accn":"0001104659-12-022851","fy":2011,"fp":"Q3","form":"10-Q/A","filed":"2012-03-30","frame":"CY2011Q3I"},{"end":"2011-12-31","val":30185000,"accn":"0001104659-12-022857","fy":2011,"fp":"FY","form":"10-K","filed":"2012-03-30"},{"end":"2011-12-31","val":30185000,"accn":"0001104659-12-034521","fy":2012,"fp":"Q1","form":"10-Q","filed":"2012-05-08"},{"end":"2011-12-31","val":30185000,"accn":"0001104659-12-055275","fy":2012,"fp":"Q2","form":"10-Q","filed":"2012-08-07"},{"end":"2011-12-31","val":30185000,"accn":"0001104659-12-077431","fy":2012,"fp":"Q3","form":"10-Q","filed":"2012-11-13"},{"end":"2011-12-31","val":30185000,"accn":"0001104659-13-019789","fy":2012,"fp":"FY","form":"10-K","filed":"2013-03-12","frame":"CY2011Q4I"},{"end":"2012-03-31","val":8066000,"accn":"0001104659-12-034521","fy":2012,"fp":"Q1","form":"10-Q","filed":"2012-05-08","frame":"CY2012Q1I"},{"end":"2012-06-30","val":6718000,"accn":"0001104659-12-055275","fy":2012,"fp":"Q2","form":"10-Q","filed":"2012-08-07","frame":"CY2012Q2I"},{"end":"2012-09-30","val":8035000,"accn":"0001104659-12-077431","fy":2012,"fp":"Q3","form":"10-Q","filed":"2012-11-13","frame":"CY2012Q3I"},{"end":"2012-12-31","val":5741000,"accn":"0001104659-13-019789","fy":2012,"fp":"FY","form":"10-K","filed":"2013-03-12"},{"end":"2012-12-31","val":5741000,"accn":"0001104659-13-038290","fy":2013,"fp":"Q1","form":"10-Q","filed":"2013-05-07"},{"end":"2012-12-31","val":5741000,"accn":"0001104659-13-063341","fy":2013,"fp":"Q2","form":"10-Q","filed":"2013-08-13"},{"end":"2012-12-31","val":5741000,"accn":"0001104659-13-083691","fy":2013,"fp":"Q3","form":"10-Q","filed":"2013-11-12"},{"end":"2012-12-31","val":5741000,"accn":"0001104659-14-018434","fy":2013,"fp":"FY","form":"10-K","filed":"2014-03-11","frame":"CY2012Q4I"},{"end":"2013-03-31","val":7044000,"accn":"0001104659-13-038290","fy":2013,"fp":"Q1","form":"10-Q","filed":"2013-05-07","frame":"CY2013Q1I"},{"end":"2013-06-30","val":7524000,"accn":"0001104659-13-063341","fy":2013,"fp":"Q2","form":"10-Q","filed":"2013-08-13","frame":"CY2013Q2I"},{"end":"2013-09-30","val":7303000,"accn":"0001104659-13-083691","fy":2013,"fp":"Q3","form":"10-Q","filed":"2013-11-12","frame":"CY2013Q3I"},{"end":"2013-12-31","val":10260000,"accn":"0001104659-14-018434","fy":2013,"fp":"FY","form":"10-K","filed":"2014-03-11"},{"end":"2013-12-31","val":9233000,"accn":"0001104659-14-035272","fy":2014,"fp":"Q1","form":"10-Q","filed":"2014-05-06"},{"end":"2013-12-31","val":9233000,"accn":"0001104659-14-056981","fy":2014,"fp":"Q2","form":"10-Q","filed":"2014-08-05"},{"end":"2013-12-31","val":9233000,"accn":"0001104659-14-076565","fy":2014,"fp":"Q3","form":"10-Q","filed":"2014-11-04"},{"end":"2013-12-31","val":9233000,"accn":"0001104659-15-020488","fy":2014,"fp":"FY","form":"10-K","filed":"2015-03-17","frame":"CY2013Q4I"},{"end":"2014-03-31","val":8306000,"accn":"0001104659-14-035272","fy":2014,"fp":"Q1","form":"10-Q","filed":"2014-05-06","frame":"CY2014Q1I"},{"end":"2014-06-30","val":9061000,"accn":"0001104659-14-056981","fy":2014,"fp":"Q2","form":"10-Q","filed":"2014-08-05","frame":"CY2014Q2I"},{"end":"2014-09-30","val":7865000,"accn":"0001104659-14-076565","fy":2014,"fp":"Q3","form":"10-Q","filed":"2014-11-04","frame":"CY2014Q3I"},{"end":"2014-12-31","val":9575000,"accn":"0001104659-15-020488","fy":2014,"fp":"FY","form":"10-K","filed":"2015-03-17"},{"end":"2014-12-31","val":9575000,"accn":"0001104659-15-034322","fy":2015,"fp":"Q1","form":"10-Q","filed":"2015-05-05"},{"end":"2014-12-31","val":9575000,"accn":"0001104659-15-055912","fy":2015,"fp":"Q2","form":"10-Q","filed":"2015-08-04"},{"end":"2014-12-31","val":9575000,"accn":"0001104659-15-077691","fy":2015,"fp":"Q3","form":"10-Q","filed":"2015-11-10"},{"end":"2014-12-31","val":9575000,"accn":"0001104659-16-105253","fy":2015,"fp":"FY","form":"10-K","filed":"2016-03-15","frame":"CY2014Q4I"},{"end":"2015-03-31","val":8758000,"accn":"0001104659-15-034322","fy":2015,"fp":"Q1","form":"10-Q","filed":"2015-05-05","frame":"CY2015Q1I"},{"end":"2015-06-30","val":8298000,"accn":"0001104659-15-055912","fy":2015,"fp":"Q2","form":"10-Q","filed":"2015-08-04","frame":"CY2015Q2I"},{"end":"2015-09-30","val":10518000,"accn":"0001104659-15-077691","fy":2015,"fp":"Q3","form":"10-Q","filed":"2015-11-10","frame":"CY2015Q3I"},{"end":"2015-12-31","val":18088000,"accn":"0001104659-16-105253","fy":2015,"fp":"FY","form":"10-K","filed":"2016-03-15"},{"end":"2015-12-31","val":18266000,"accn":"0001104659-16-117216","fy":2016,"fp":"Q1","form":"10-Q","filed":"2016-05-03"},{"end":"2015-12-31","val":18266000,"accn":"0001104659-16-136156","fy":2016,"fp":"Q2","form":"10-Q","filed":"2016-08-02"},{"end":"2015-12-31","val":18266000,"accn":"0001104659-16-155586","fy":2016,"fp":"Q3","form":"10-Q","filed":"2016-11-08"},{"end":"2015-12-31","val":18266000,"accn":"0001104659-17-019723","fy":2016,"fp":"FY","form":"10-K","filed":"2017-03-28","frame":"CY2015Q4I"},{"end":"2016-03-31","val":10506000,"accn":"0001104659-16-117216","fy":2016,"fp":"Q1","form":"10-Q","filed":"2016-05-03","frame":"CY2016Q1I"},{"end":"2016-06-30","val":11170000,"accn":"0001104659-16-136156","fy":2016,"fp":"Q2","form":"10-Q","filed":"2016-08-02","frame":"CY2016Q2I"},{"end":"2016-09-30","val":10690000,"accn":"0001104659-16-155586","fy":2016,"fp":"Q3","form":"10-Q","filed":"2016-11-08","frame":"CY2016Q3I"},{"end":"2016-12-31","val":10421000,"accn":"0001104659-17-019723","fy":2016,"fp":"FY","form":"10-K","filed":"2017-03-28"},{"end":"2016-12-31","val":10421000,"accn":"0001104659-17-031951","fy":2017,"fp":"Q1","form":"10-Q","filed":"2017-05-11"},{"end":"2016-12-31","val":10421000,"accn":"0001104659-17-050294","fy":2017,"fp":"Q2","form":"10-Q","filed":"2017-08-08"},{"end":"2016-12-31","val":10421000,"accn":"0001104659-17-068536","fy":2017,"fp":"Q3","form":"10-Q","filed":"2017-11-14"},{"end":"2016-12-31","val":10421000,"accn":"0001104659-18-021862","fy":2017,"fp":"FY","form":"10-K","filed":"2018-04-02","frame":"CY2016Q4I"},{"end":"2017-03-31","val":9961000,"accn":"0001104659-17-031951","fy":2017,"fp":"Q1","form":"10-Q","filed":"2017-05-11","frame":"CY2017Q1I"},{"end":"2017-06-30","val":11521000,"accn":"0001104659-17-050294","fy":2017,"fp":"Q2","form":"10-Q","filed":"2017-08-08","frame":"CY2017Q2I"},{"end":"2017-09-30","val":17594000,"accn":"0001104659-17-068536","fy":2017,"fp":"Q3","form":"10-Q","filed":"2017-11-14","frame":"CY2017Q3I"},{"end":"2017-12-31","val":16595000,"accn":"0001104659-18-021862","fy":2017,"fp":"FY","form":"10-K","filed":"2018-04-02"},{"end":"2017-12-31","val":16595000,"accn":"0001104659-18-033439","fy":2018,"fp":"Q1","form":"10-Q","filed":"2018-05-15"},{"end":"2017-12-31","val":16595000,"accn":"0001104659-18-051983","fy":2018,"fp":"Q2","form":"10-Q","filed":"2018-08-14"},{"end":"2017-12-31","val":16595000,"accn":"0001104659-18-067939","fy":2018,"fp":"Q3","form":"10-Q","filed":"2018-11-13"},{"end":"2017-12-31","val":16175000,"accn":"0001104659-19-019960","fy":2018,"fp":"FY","form":"10-K","filed":"2019-04-04","frame":"CY2017Q4I"},{"end":"2018-03-31","val":17848000,"accn":"0001104659-18-033439","fy":2018,"fp":"Q1","form":"10-Q","filed":"2018-05-15","frame":"CY2018Q1I"},{"end":"2018-06-30","val":17140000,"accn":"0001104659-18-051983","fy":2018,"fp":"Q2","form":"10-Q","filed":"2018-08-14","frame":"CY2018Q2I"},{"end":"2018-09-30","val":13835000,"accn":"0001104659-18-067939","fy":2018,"fp":"Q3","form":"10-Q","filed":"2018-11-13","frame":"CY2018Q3I"},{"end":"2018-12-31","val":11967000,"accn":"0001104659-19-019960","fy":2018,"fp":"FY","form":"10-K","filed":"2019-04-04"},{"end":"2018-12-31","val":11967000,"accn":"0001104659-19-029793","fy":2019,"fp":"Q1","form":"10-Q","filed":"2019-05-15"},{"end":"2018-12-31","val":11967000,"accn":"0001104659-19-046527","fy":2019,"fp":"Q2","form":"10-Q","filed":"2019-08-19"},{"end":"2018-12-31","val":11967000,"accn":"0001104659-19-062690","fy":2019,"fp":"Q3","form":"10-Q","filed":"2019-11-12"},{"end":"2018-12-31","val":11967000,"accn":"0001104659-20-040523","fy":2019,"fp":"FY","form":"10-K","filed":"2020-03-30","frame":"CY2018Q4I"},{"end":"2019-03-31","val":14689000,"accn":"0001104659-19-029793","fy":2019,"fp":"Q1","form":"10-Q","filed":"2019-05-15","frame":"CY2019Q1I"},{"end":"2019-06-30","val":15134000,"accn":"0001104659-19-046527","fy":2019,"fp":"Q2","form":"10-Q","filed":"2019-08-19","frame":"CY2019Q2I"},{"end":"2019-09-30","val":11368000,"accn":"0001104659-19-062690","fy":2019,"fp":"Q3","form":"10-Q","filed":"2019-11-12","frame":"CY2019Q3I"},{"end":"2019-12-31","val":9696000,"accn":"0001104659-20-040523","fy":2019,"fp":"FY","form":"10-K","filed":"2020-03-30"},{"end":"2019-12-31","val":9696000,"accn":"0001562762-20-000189","fy":2020,"fp":"Q1","form":"10-Q","filed":"2020-05-14"},{"end":"2019-12-31","val":9696000,"accn":"0001562762-20-000342","fy":2020,"fp":"Q2","form":"10-Q","filed":"2020-08-12"},{"end":"2019-12-31","val":9696000,"accn":"0001562762-20-000412","fy":2020,"fp":"Q3","form":"10-Q","filed":"2020-11-12"},{"end":"2019-12-31","val":9696000,"accn":"0001562762-21-000123","fy":2020,"fp":"FY","form":"10-K","filed":"2021-03-17","frame":"CY2019Q4I"},{"end":"2020-03-31","val":8874000,"accn":"0001562762-20-000189","fy":2020,"fp":"Q1","form":"10-Q","filed":"2020-05-14","frame":"CY2020Q1I"},{"end":"2020-06-30","val":9788000,"accn":"0001562762-20-000342","fy":2020,"fp":"Q2","form":"10-Q","filed":"2020-08-12","frame":"CY2020Q2I"},{"end":"2020-09-30","val":8082000,"accn":"0001562762-20-000412","fy":2020,"fp":"Q3","form":"10-Q","filed":"2020-11-12","frame":"CY2020Q3I"},{"end":"2020-12-31","val":8454000,"accn":"0001562762-21-000123","fy":2020,"fp":"FY","form":"10-K","filed":"2021-03-17"},{"end":"2020-12-31","val":8454000,"accn":"0001562762-21-000223","fy":2021,"fp":"Q1","form":"10-Q","filed":"2021-05-13"},{"end":"2020-12-31","val":8454000,"accn":"0001562762-21-000340","fy":2021,"fp":"Q2","form":"10-Q","filed":"2021-08-12"},{"end":"2020-12-31","val":8454000,"accn":"0001562762-21-000443","fy":2021,"fp":"Q3","form":"10-Q","filed":"2021-11-10"},{"end":"2020-12-31","val":8454000,"accn":"0001104659-22-044364","fy":2021,"fp":"FY","form":"10-K","filed":"2022-04-11","frame":"CY2020Q4I"},{"end":"2021-03-31","val":9864000,"accn":"0001562762-21-000223","fy":2021,"fp":"Q1","form":"10-Q","filed":"2021-05-13","frame":"CY2021Q1I"},{"end":"2021-06-30","val":10514000,"accn":"0001562762-21-000340","fy":2021,"fp":"Q2","form":"10-Q","filed":"2021-08-12","frame":"CY2021Q2I"},{"end":"2021-09-30","val":9044000,"accn":"0001562762-21-000443","fy":2021,"fp":"Q3","form":"10-Q","filed":"2021-11-10","frame":"CY2021Q3I"},{"end":"2021-12-31","val":1827000,"accn":"0001104659-22-044364","fy":2021,"fp":"FY","form":"10-K","filed":"2022-04-11"},{"end":"2021-12-31","val":1827000,"accn":"0001104659-22-059579","fy":2022,"fp":"Q1","form":"10-Q","filed":"2022-05-12"},{"end":"2021-12-31","val":1827000,"accn":"0001104659-22-089553","fy":2022,"fp":"Q2","form":"10-Q","filed":"2022-08-12"},{"end":"2021-12-31","val":1827000,"accn":"0001104659-22-116514","fy":2022,"fp":"Q3","form":"10-Q","filed":"2022-11-09","frame":"CY2021Q4I"},{"end":"2022-03-31","val":1334000,"accn":"0001104659-22-059579","fy":2022,"fp":"Q1","form":"10-Q","filed":"2022-05-12","frame":"CY2022Q1I"},{"end":"2022-06-30","val":1237000,"accn":"0001104659-22-089553","fy":2022,"fp":"Q2","form":"10-Q","filed":"2022-08-12","frame":"CY2022Q2I"},{"end":"2022-09-30","val":1349000,"accn":"0001104659-22-116514","fy":2022,"fp":"Q3","form":"10-Q","filed":"2022-11-09","frame":"CY2022Q3I"}]}}