diff --git a/packages/viewer/cypress/e2e/space.spec.ts b/packages/viewer/cypress/e2e/space.spec.ts index 1de76865..3954f89c 100644 --- a/packages/viewer/cypress/e2e/space.spec.ts +++ b/packages/viewer/cypress/e2e/space.spec.ts @@ -2,6 +2,14 @@ import { deduce, setup } from '../support' beforeEach(setup) +function clickTraitFor(name: string) { + cy.get('.related-traits') + .contains(name) + .closest('tr') + .find('.bi-check') + .click() +} + it('links to properties', () => { cy.visit('spaces/S000004/properties') deduce() @@ -15,7 +23,7 @@ it('links to traits', () => { cy.visit('spaces/S000004/properties') deduce() - cy.contains('Semiregular').closest('tr').find('.bi-check').click() + clickTraitFor('Semiregular') cy.location('pathname').should('eq', '/spaces/S000004/properties/P000010') }) @@ -30,3 +38,9 @@ it('filters traits', () => { .first() .should('have.text', '16 Compact ') }) + +it('displays trait descriptions', () => { + cy.visit('spaces/S000001/properties/P000052') + + cy.contains('By definition of discrete') +}) diff --git a/packages/viewer/cypress/fixtures/main.min.json b/packages/viewer/cypress/fixtures/main.min.json index 71e1ec09..8b14bc6e 100644 --- a/packages/viewer/cypress/fixtures/main.min.json +++ b/packages/viewer/cypress/fixtures/main.min.json @@ -3,1465 +3,940 @@ { "uid": "P000001", "name": "$T_0$", - "aliases": [ - "Kolmogorov" - ], - "refs": [ - - ], + "aliases": ["Kolmogorov"], + "refs": [], "description": "-" }, { "uid": "P000002", "name": "$T_1$", - "aliases": [ - "Fréchet" - ], - "refs": [ - - ], + "aliases": ["Fréchet"], + "refs": [], "description": "-" }, { "uid": "P000003", "name": "$T_2$", - "aliases": [ - "Hausdorff" - ], - "refs": [ - - ], + "aliases": ["Hausdorff"], + "refs": [], "description": "-" }, { "uid": "P000004", "name": "$T_{2 \\frac{1}{2}}$", - "aliases": [ - "Urysohn", - "Completely Hausdorff" - ], - "refs": [ - - ], + "aliases": ["Urysohn", "Completely Hausdorff"], + "refs": [], "description": "-" }, { "uid": "P000005", "name": "$T_3$", - "aliases": [ - "Regular Hausdorff" - ], - "refs": [ - - ], + "aliases": ["Regular Hausdorff"], + "refs": [], "description": "-" }, { "uid": "P000006", "name": "$T_{3 \\frac{1}{2}}$", - "aliases": [ - "Tychonoff", - "Completely Regular Hausdorff" - ], - "refs": [ - - ], + "aliases": ["Tychonoff", "Completely Regular Hausdorff"], + "refs": [], "description": "-" }, { "uid": "P000007", "name": "$T_4$", - "aliases": [ - "Normal Hausdorff" - ], - "refs": [ - - ], + "aliases": ["Normal Hausdorff"], + "refs": [], "description": "-" }, { "uid": "P000008", "name": "$T_5$", - "aliases": [ - "Completely normal Hausdorff" - ], - "refs": [ - - ], + "aliases": ["Completely normal Hausdorff"], + "refs": [], "description": "-" }, { "uid": "P000009", "name": "Completely Hausdorff", - "aliases": [ - "Functionally Hausdorff", - "Urysohn", - "Completely T2" - ], - "refs": [ - - ], + "aliases": ["Functionally Hausdorff", "Urysohn", "Completely T2"], + "refs": [], "description": "-" }, { "uid": "P000010", "name": "Semiregular", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000011", "name": "Regular", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000012", "name": "Completely regular", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000013", "name": "Normal", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000014", "name": "Completely normal", - "aliases": [ - "Hereditarily normal" - ], - "refs": [ - - ], + "aliases": ["Hereditarily normal"], + "refs": [], "description": "-" }, { "uid": "P000015", "name": "Perfectly normal", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000016", "name": "Compact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000017", "name": "$\\sigma$-compact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000018", "name": "Lindelof", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000019", "name": "Countably compact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000020", "name": "Sequentially Compact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000021", "name": "Weakly Countably Compact", - "aliases": [ - "Limit point compact" - ], - "refs": [ - - ], + "aliases": ["Limit point compact"], + "refs": [], "description": "-" }, { "uid": "P000022", "name": "Pseudocompact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000023", "name": "Weakly Locally Compact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000024", "name": "Locally Relatively Compact", - "aliases": [ - "Weakly Locally Closed-and-Compact" - ], - "refs": [ - - ], + "aliases": ["Weakly Locally Closed-and-Compact"], + "refs": [], "description": "-" }, { "uid": "P000025", "name": "$\\sigma$-Locally Compact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000026", "name": "Separable", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000027", "name": "Second Countable", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000028", "name": "First Countable", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000029", "name": "Countable chain condition", - "aliases": [ - "CCC" - ], - "refs": [ - - ], + "aliases": ["CCC"], + "refs": [], "description": "-" }, { "uid": "P000030", "name": "Paracompact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000031", "name": "Metacompact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000032", "name": "Countably paracompact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000033", "name": "Countably metacompact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000034", "name": "Fully normal", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000035", "name": "Fully $T_4$", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000036", "name": "Connected", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000037", "name": "Path Connected", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000038", "name": "Arc connected", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000039", "name": "Hyperconnected", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000040", "name": "Ultraconnected", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000041", "name": "Locally Connected", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000042", "name": "Locally Path Connected", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000043", "name": "Locally Arc Connected", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000044", "name": "Biconnected", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000045", "name": "Has Dispersion Point", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000046", "name": "Totally Path Disconnected", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000047", "name": "Totally Disconnected", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000048", "name": "Totally Separated", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000049", "name": "Extremally Disconnected", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000050", "name": "Zero Dimensional", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000051", "name": "Scattered", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000052", "name": "Discrete", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000053", "name": "Metrizable", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000054", "name": "$\\sigma$-Locally Finite Base", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000055", "name": "Completely metrizable", - "aliases": [ - "Topologically complete" - ], - "refs": [ - - ], + "aliases": ["Topologically complete"], + "refs": [], "description": "-" }, { "uid": "P000056", "name": "Meager", - "aliases": [ - "First category" - ], - "refs": [ - - ], + "aliases": ["First category"], + "refs": [], "description": "-" }, { "uid": "P000057", "name": "Countable", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000058", "name": "Smaller than the continuum", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000059", "name": "Smaller or same as the power set of the continuum", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000060", "name": "Strongly Connected", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000061", "name": "Cozero complemented", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000062", "name": "Weakly Lindelof", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000063", "name": "Čech complete", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000064", "name": "Baire", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000065", "name": "Continuum-sized", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000066", "name": "Menger", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000067", "name": "$T_6$", - "aliases": [ - "Perfectly T_4", - "Perfectly normal Hausdorff" - ], - "refs": [ - - ], + "aliases": ["Perfectly T_4", "Perfectly normal Hausdorff"], + "refs": [], "description": "-" }, { "uid": "P000068", "name": "Rothberger", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000069", "name": "Strategic Menger", - "aliases": [ - "M^+" - ], - "refs": [ - - ], + "aliases": ["M^+"], + "refs": [], "description": "-" }, { "uid": "P000070", "name": "Markov Menger", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000071", "name": "$\\sigma$-relatively-compact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000072", "name": "2-Markov Menger", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000073", "name": "Sober", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000074", "name": "Cosmic", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000075", "name": "Spectral space", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000076", "name": "Proximal", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000077", "name": "Corson compact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000078", "name": "Finite", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000079", "name": "Sequential", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000080", "name": "Fréchet Urysohn", - "aliases": [ - "Fréchet" - ], - "refs": [ - - ], + "aliases": ["Fréchet"], + "refs": [], "description": "-" }, { "uid": "P000081", "name": "Countably tight", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000082", "name": "Locally metrizable", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000083", "name": "Almost Čech Complete", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000084", "name": "locally Hausdorff", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000085", "name": "Ascoli", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000086", "name": "Homogenous", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000087", "name": "Groupable topology", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000088", "name": "Collectionwise normal", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000089", "name": "Fixed Point Property", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000090", "name": "Alexandrov", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000091", "name": "Eberlein compact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000092", "name": "Moving Off Property", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000093", "name": "Locally countable", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000094", "name": "q Space", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000095", "name": "I-tactic Banach-Mazur", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000096", "name": "II-tactic Banach-Mazur", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000097", "name": "Homotopy Dense", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000098", "name": "$k_\\omega$", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000099", "name": "US", - "aliases": [ - "Sequentially Hausdorff" - ], - "refs": [ - - ], + "aliases": ["Sequentially Hausdorff"], + "refs": [], "description": "-" }, { "uid": "P000100", "name": "KC", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000101", "name": "Anti-Hausdorff", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000102", "name": "Semimetrizable", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000103", "name": "Strongly KC", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000104", "name": "K Analytic", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000105", "name": "Angelic", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000106", "name": "Strictly Angelic", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000107", "name": "Pointwise Countable Type", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000108", "name": "Locally Čech Complete", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000109", "name": "Countable Type", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000110", "name": "Has A Compact Resolution", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000111", "name": "Hemicompact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000112", "name": "Submetrizable", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000113", "name": "k$\\mathbb{R}$ Space", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000114", "name": "$\\aleph_0$", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000115", "name": "Weakly K Analytic", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000116", "name": "Pseudocomplete", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000117", "name": "M Space", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000118", "name": "Pseudo-Polish", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000119", "name": "Z-Compact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000120", "name": "r Space", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000121", "name": "Pseudo-Metrizable", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000122", "name": "S space", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000123", "name": "Locally Euclidean", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000124", "name": "Topological manifold", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000125", "name": "Has distinct points", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "counterexamples_id": null, "uid": "P000128", "name": "$k$-Lindelöf", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000129", "name": "Indiscrete", - "aliases": [ - "Trivial topology" - ], - "refs": [ - - ], + "aliases": ["Trivial topology"], + "refs": [], "description": "-" }, { "uid": "P000130", "name": "Locally Compact", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000131", "name": "Hereditarily Lindelöf", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" }, { "uid": "P000132", "name": "$G_\\delta$ space", - "aliases": [ - - ], - "refs": [ - - ], + "aliases": [], + "refs": [], "description": "-" } ], @@ -1471,96 +946,64 @@ "counterexamples_id": 1, "name": "Discrete topology on a two-point set", "description": "-", - "aliases": [ - "Finite Discrete Topology" - ], - "refs": [ - - ] + "aliases": ["Finite Discrete Topology"], + "refs": [] }, { "uid": "S000004", "counterexamples_id": 4, "name": "Indiscrete Topology on a Two-Point Set", "description": "-", - "aliases": [ - "Indiscrete Topology on a Two-Point Set" - ], - "refs": [ - - ] + "aliases": ["Indiscrete Topology on a Two-Point Set"], + "refs": [] }, { "uid": "S000029", "counterexamples_id": 35, "name": "One Point Compactification of the Rationals", "description": "-", - "aliases": [ - - ], - "refs": [ - - ] + "aliases": [], + "refs": [] }, { "uid": "S000039", "counterexamples_id": 46, "name": "Closed long ray", "description": "-", - "aliases": [ - "Extended long line" - ], - "refs": [ - - ] + "aliases": ["Extended long line"], + "refs": [] }, { "uid": "S000041", "counterexamples_id": 48, "name": "Lexicographic unit square", "description": "-", - "aliases": [ - "Lexicographic ordering on the unit square" - ], - "refs": [ - - ] + "aliases": ["Lexicographic ordering on the unit square"], + "refs": [] }, { "uid": "S000087", "counterexamples_id": 89, "name": "Dieudonné plank", "description": "-", - "aliases": [ - "Dieudonne plank" - ], - "refs": [ - - ] + "aliases": ["Dieudonne plank"], + "refs": [] }, { "uid": "S000099", "counterexamples_id": 101, "name": "Alexandroff square", "description": "-", - "aliases": [ - - ], - "refs": [ - - ] + "aliases": [], + "refs": [] }, { "uid": "S000154", "counterexamples_id": 24, "name": "Fort Space on the Real Numbers", "description": "-", - "aliases": [ - "Uncountable Fort Space" - ], - "refs": [ - - ] + "aliases": ["Uncountable Fort Space"], + "refs": [] } ], "theorems": [ @@ -1577,9 +1020,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000002", @@ -1594,9 +1035,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000003", @@ -1611,9 +1050,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000004", @@ -1628,9 +1065,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000005", @@ -1645,9 +1080,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000006", @@ -1662,9 +1095,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000007", @@ -1679,9 +1110,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000008", @@ -1696,9 +1125,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000009", @@ -1713,9 +1140,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000010", @@ -1740,14 +1165,8 @@ "value": true }, "description": "-", - "refs": [ - - ], - "converse": [ - "T000044", - "T000085", - "T000077" - ] + "refs": [], + "converse": ["T000044", "T000085", "T000077"] }, { "uid": "T000011", @@ -1762,9 +1181,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000012", @@ -1779,9 +1196,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000013", @@ -1796,9 +1211,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000014", @@ -1813,9 +1226,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000015", @@ -1830,9 +1241,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000016", @@ -1847,9 +1256,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000017", @@ -1864,9 +1271,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000018", @@ -1881,9 +1286,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000019", @@ -1908,9 +1311,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000020", @@ -1935,12 +1336,8 @@ ] }, "description": "-", - "refs": [ - - ], - "converse": [ - "T000023" - ] + "refs": [], + "converse": ["T000023"] }, { "uid": "T000021", @@ -1955,9 +1352,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000022", @@ -1982,9 +1377,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000023", @@ -2009,12 +1402,8 @@ "value": true }, "description": "-", - "refs": [ - - ], - "converse": [ - "T000020" - ] + "refs": [], + "converse": ["T000020"] }, { "uid": "T000024", @@ -2039,9 +1428,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000025", @@ -2071,9 +1458,7 @@ ] }, "description": "-", - "refs": [ - - ], + "refs": [], "converse": null }, { @@ -2099,9 +1484,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000027", @@ -2126,9 +1509,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000028", @@ -2158,9 +1539,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000029", @@ -2185,9 +1564,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000030", @@ -2212,9 +1589,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000031", @@ -2244,9 +1619,7 @@ "value": true }, "description": "-", - "refs": [ - - ], + "refs": [], "converse": null }, { @@ -2262,9 +1635,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000033", @@ -2279,9 +1650,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000034", @@ -2306,9 +1675,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000035", @@ -2323,9 +1690,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000036", @@ -2340,9 +1705,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000037", @@ -2367,9 +1730,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000038", @@ -2384,9 +1745,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000039", @@ -2401,9 +1760,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000040", @@ -2418,9 +1775,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000041", @@ -2435,9 +1790,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000042", @@ -2462,9 +1815,7 @@ ] }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000043", @@ -2489,9 +1840,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000044", @@ -2506,9 +1855,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000045", @@ -2523,9 +1870,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000046", @@ -2540,9 +1885,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000047", @@ -2557,9 +1900,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000048", @@ -2574,9 +1915,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000049", @@ -2591,9 +1930,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000050", @@ -2618,9 +1955,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000051", @@ -2635,9 +1970,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000052", @@ -2662,9 +1995,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000053", @@ -2689,14 +2020,8 @@ "value": true }, "description": "-", - "refs": [ - - ], - "converse": [ - "T000008", - "T000005", - "T000122" - ] + "refs": [], + "converse": ["T000008", "T000005", "T000122"] }, { "uid": "T000054", @@ -2711,9 +2036,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000055", @@ -2738,9 +2061,7 @@ "value": true }, "description": "-", - "refs": [ - - ], + "refs": [], "converse": null }, { @@ -2756,9 +2077,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000057", @@ -2773,9 +2092,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000058", @@ -2790,9 +2107,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000059", @@ -2817,9 +2132,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000061", @@ -2854,9 +2167,7 @@ ] }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000062", @@ -2881,9 +2192,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000063", @@ -2898,9 +2207,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000064", @@ -2915,9 +2222,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000065", @@ -2942,9 +2247,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000066", @@ -2959,9 +2262,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000067", @@ -2976,9 +2277,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000068", @@ -2993,9 +2292,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000071", @@ -3010,9 +2307,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000072", @@ -3027,9 +2322,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000073", @@ -3054,9 +2347,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000074", @@ -3071,9 +2362,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000075", @@ -3098,9 +2387,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000076", @@ -3115,9 +2402,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000077", @@ -3132,9 +2417,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000078", @@ -3149,9 +2432,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000079", @@ -3166,9 +2447,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000080", @@ -3193,9 +2472,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000081", @@ -3225,9 +2502,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000083", @@ -3252,9 +2527,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000084", @@ -3269,9 +2542,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000085", @@ -3286,9 +2557,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000086", @@ -3303,9 +2572,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000087", @@ -3320,9 +2587,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000088", @@ -3347,9 +2612,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000089", @@ -3374,9 +2637,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000090", @@ -3391,9 +2652,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000091", @@ -3418,9 +2677,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000092", @@ -3435,9 +2692,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000093", @@ -3452,9 +2707,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000095", @@ -3479,9 +2732,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000098", @@ -3506,12 +2757,8 @@ ] }, "description": "-", - "refs": [ - - ], - "converse": [ - "T000099" - ] + "refs": [], + "converse": ["T000099"] }, { "uid": "T000099", @@ -3536,12 +2783,8 @@ "value": true }, "description": "-", - "refs": [ - - ], - "converse": [ - "T000098" - ] + "refs": [], + "converse": ["T000098"] }, { "uid": "T000100", @@ -3566,12 +2809,8 @@ ] }, "description": "-", - "refs": [ - - ], - "converse": [ - "T000101" - ] + "refs": [], + "converse": ["T000101"] }, { "uid": "T000101", @@ -3596,12 +2835,8 @@ "value": true }, "description": "-", - "refs": [ - - ], - "converse": [ - "T000100" - ] + "refs": [], + "converse": ["T000100"] }, { "uid": "T000104", @@ -3626,12 +2861,8 @@ ] }, "description": "-", - "refs": [ - - ], - "converse": [ - "T000105" - ] + "refs": [], + "converse": ["T000105"] }, { "uid": "T000105", @@ -3656,12 +2887,8 @@ "value": true }, "description": "-", - "refs": [ - - ], - "converse": [ - "T000104" - ] + "refs": [], + "converse": ["T000104"] }, { "uid": "T000106", @@ -3686,14 +2913,8 @@ "value": true }, "description": "-", - "refs": [ - - ], - "converse": [ - "T000001", - "T000121", - "T000122" - ] + "refs": [], + "converse": ["T000001", "T000121", "T000122"] }, { "uid": "T000107", @@ -3718,14 +2939,8 @@ "value": true }, "description": "-", - "refs": [ - - ], - "converse": [ - "T000001", - "T000013", - "T000014" - ] + "refs": [], + "converse": ["T000001", "T000013", "T000014"] }, { "uid": "T000108", @@ -3750,9 +2965,7 @@ "value": true }, "description": "-", - "refs": [ - - ], + "refs": [], "converse": [ "T000044", "T000045", @@ -3785,9 +2998,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000110", @@ -3812,9 +3023,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000112", @@ -3829,9 +3038,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000113", @@ -3846,9 +3053,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000114", @@ -3863,9 +3068,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000115", @@ -3880,9 +3083,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000116", @@ -3897,9 +3098,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000118", @@ -3914,9 +3113,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000119", @@ -3931,9 +3128,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000121", @@ -3948,9 +3143,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000122", @@ -3965,9 +3158,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000123", @@ -3992,9 +3183,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000124", @@ -4019,9 +3208,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000125", @@ -4051,9 +3238,7 @@ ] }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000126", @@ -4068,9 +3253,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000128", @@ -4085,9 +3268,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000129", @@ -4102,9 +3283,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000130", @@ -4119,9 +3298,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000132", @@ -4146,13 +3323,8 @@ "value": true }, "description": "-", - "refs": [ - - ], - "converse": [ - "T000077", - "T000133" - ] + "refs": [], + "converse": ["T000077", "T000133"] }, { "uid": "T000133", @@ -4167,9 +3339,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000134", @@ -4184,9 +3354,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000135", @@ -4201,9 +3369,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000136", @@ -4228,9 +3394,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000138", @@ -4245,9 +3409,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000139", @@ -4262,9 +3424,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000140", @@ -4279,9 +3439,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000141", @@ -4296,9 +3454,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000142", @@ -4323,9 +3479,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000146", @@ -4340,9 +3494,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000148", @@ -4367,9 +3519,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000149", @@ -4384,9 +3534,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000151", @@ -4411,9 +3559,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000152", @@ -4438,9 +3584,7 @@ ] }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000153", @@ -4465,9 +3609,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000154", @@ -4482,9 +3624,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000155", @@ -4499,9 +3639,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000156", @@ -4516,9 +3654,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000160", @@ -4533,9 +3669,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000161", @@ -4550,9 +3684,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000162", @@ -4567,9 +3699,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000163", @@ -4584,9 +3714,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000164", @@ -4611,9 +3739,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000165", @@ -4628,9 +3754,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000166", @@ -4645,9 +3769,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000167", @@ -4672,9 +3794,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000168", @@ -4689,9 +3809,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000169", @@ -4706,9 +3824,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000170", @@ -4733,9 +3849,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000171", @@ -4760,9 +3874,7 @@ ] }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000173", @@ -4777,9 +3889,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000174", @@ -4794,9 +3904,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000176", @@ -4821,9 +3929,7 @@ ] }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000177", @@ -4838,9 +3944,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000178", @@ -4855,9 +3959,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000179", @@ -4882,9 +3984,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000180", @@ -4899,9 +3999,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000181", @@ -4916,9 +4014,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000183", @@ -4933,9 +4029,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000184", @@ -4950,9 +4044,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000185", @@ -4967,9 +4059,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000186", @@ -4984,9 +4074,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000187", @@ -5001,9 +4089,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000188", @@ -5028,9 +4114,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000189", @@ -5045,9 +4129,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000193", @@ -5062,9 +4144,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000195", @@ -5079,9 +4159,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000196", @@ -5106,9 +4184,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000197", @@ -5133,9 +4209,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000198", @@ -5150,9 +4224,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000202", @@ -5182,9 +4254,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000204", @@ -5199,9 +4269,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000209", @@ -5226,9 +4294,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000212", @@ -5253,9 +4319,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000213", @@ -5270,9 +4334,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000214", @@ -5287,9 +4349,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000215", @@ -5304,9 +4364,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000218", @@ -5321,9 +4379,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000219", @@ -5348,9 +4404,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000220", @@ -5365,9 +4419,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000223", @@ -5392,9 +4444,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000224", @@ -5419,9 +4469,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000226", @@ -5436,9 +4484,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000227", @@ -5453,9 +4499,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000228", @@ -5470,9 +4514,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000232", @@ -5497,9 +4539,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000234", @@ -5514,9 +4554,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000235", @@ -5541,9 +4579,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000236", @@ -5568,9 +4604,7 @@ "value": true }, "description": "-", - "refs": [ - - ], + "refs": [], "converse": null }, { @@ -5586,9 +4620,7 @@ "value": true }, "description": "-", - "refs": [ - - ], + "refs": [], "converse": null }, { @@ -5604,9 +4636,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000239", @@ -5641,9 +4671,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000240", @@ -5668,9 +4696,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000245", @@ -5685,9 +4711,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000246", @@ -5712,9 +4736,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000247", @@ -5739,9 +4761,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000248", @@ -5756,9 +4776,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000249", @@ -5773,9 +4791,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000250", @@ -5790,9 +4806,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000251", @@ -5807,9 +4821,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000252", @@ -5824,9 +4836,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000253", @@ -5851,9 +4861,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000254", @@ -5868,9 +4876,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000255", @@ -5895,9 +4901,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000256", @@ -5912,9 +4916,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000257", @@ -5939,9 +4941,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000258", @@ -5966,9 +4966,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000259", @@ -5983,9 +4981,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000260", @@ -6000,9 +4996,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000261", @@ -6027,9 +5021,7 @@ "value": true }, "description": "-", - "refs": [ - - ] + "refs": [] }, { "uid": "T000262", @@ -6054,9 +5046,7 @@ "value": false }, "description": "-", - "refs": [ - - ] + "refs": [] } ], "traits": [ @@ -6065,9 +5055,7 @@ "space": "S000001", "property": "P000024", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6075,9 +5063,7 @@ "space": "S000001", "property": "P000036", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6085,19 +5071,15 @@ "space": "S000001", "property": "P000052", "value": true, - "refs": [ - - ], - "description": "-" + "refs": [], + "description": "By definition of discrete" }, { "uid": "T024776", "space": "S000001", "property": "P000078", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6105,9 +5087,7 @@ "space": "S000001", "property": "P000129", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6115,9 +5095,7 @@ "space": "S000004", "property": "P000001", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6125,9 +5103,7 @@ "space": "S000004", "property": "P000027", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6135,9 +5111,7 @@ "space": "S000004", "property": "P000037", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6145,9 +5119,7 @@ "space": "S000004", "property": "P000039", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6155,9 +5127,7 @@ "space": "S000004", "property": "P000040", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6165,9 +5135,7 @@ "space": "S000004", "property": "P000042", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6175,9 +5143,7 @@ "space": "S000004", "property": "P000044", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6185,9 +5151,7 @@ "space": "S000004", "property": "P000050", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6195,9 +5159,7 @@ "space": "S000004", "property": "P000051", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6205,9 +5167,7 @@ "space": "S000004", "property": "P000056", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6215,9 +5175,7 @@ "space": "S000004", "property": "P000078", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6225,9 +5183,7 @@ "space": "S000004", "property": "P000129", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6235,9 +5191,7 @@ "space": "S000029", "property": "P000002", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6245,9 +5199,7 @@ "space": "S000029", "property": "P000003", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6255,9 +5207,7 @@ "space": "S000029", "property": "P000016", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6265,9 +5215,7 @@ "space": "S000029", "property": "P000020", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6275,9 +5223,7 @@ "space": "S000029", "property": "P000028", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6285,9 +5231,7 @@ "space": "S000029", "property": "P000041", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6295,9 +5239,7 @@ "space": "S000029", "property": "P000045", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6305,9 +5247,7 @@ "space": "S000029", "property": "P000046", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6315,9 +5255,7 @@ "space": "S000029", "property": "P000056", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6325,9 +5263,7 @@ "space": "S000029", "property": "P000057", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6335,9 +5271,7 @@ "space": "S000029", "property": "P000100", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6345,9 +5279,7 @@ "space": "S000029", "property": "P000129", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6355,9 +5287,7 @@ "space": "S000029", "property": "P000130", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6365,9 +5295,7 @@ "space": "S000039", "property": "P000008", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6375,9 +5303,7 @@ "space": "S000039", "property": "P000016", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6385,9 +5311,7 @@ "space": "S000039", "property": "P000020", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6395,9 +5319,7 @@ "space": "S000039", "property": "P000028", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6405,9 +5327,7 @@ "space": "S000039", "property": "P000029", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6415,9 +5335,7 @@ "space": "S000039", "property": "P000036", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6425,9 +5343,7 @@ "space": "S000039", "property": "P000037", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6435,9 +5351,7 @@ "space": "S000039", "property": "P000041", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6445,9 +5359,7 @@ "space": "S000039", "property": "P000046", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6455,9 +5367,7 @@ "space": "S000039", "property": "P000059", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6465,9 +5375,7 @@ "space": "S000039", "property": "P000129", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6475,9 +5383,7 @@ "space": "S000041", "property": "P000008", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6485,9 +5391,7 @@ "space": "S000041", "property": "P000015", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6495,9 +5399,7 @@ "space": "S000041", "property": "P000016", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6505,9 +5407,7 @@ "space": "S000041", "property": "P000028", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6515,9 +5415,7 @@ "space": "S000041", "property": "P000029", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6525,9 +5423,7 @@ "space": "S000041", "property": "P000036", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6535,9 +5431,7 @@ "space": "S000041", "property": "P000037", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6545,9 +5439,7 @@ "space": "S000041", "property": "P000041", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6555,9 +5447,7 @@ "space": "S000041", "property": "P000044", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6565,9 +5455,7 @@ "space": "S000041", "property": "P000046", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6575,9 +5463,7 @@ "space": "S000041", "property": "P000059", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6585,9 +5471,7 @@ "space": "S000041", "property": "P000129", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6595,9 +5479,7 @@ "space": "S000087", "property": "P000004", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6605,9 +5487,7 @@ "space": "S000087", "property": "P000011", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6615,9 +5495,7 @@ "space": "S000087", "property": "P000013", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6625,9 +5503,7 @@ "space": "S000087", "property": "P000021", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6635,9 +5511,7 @@ "space": "S000087", "property": "P000031", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6645,9 +5519,7 @@ "space": "S000087", "property": "P000032", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6655,9 +5527,7 @@ "space": "S000087", "property": "P000129", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6665,9 +5535,7 @@ "space": "S000099", "property": "P000007", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6675,9 +5543,7 @@ "space": "S000099", "property": "P000014", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6685,9 +5551,7 @@ "space": "S000099", "property": "P000016", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6695,9 +5559,7 @@ "space": "S000099", "property": "P000020", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6705,9 +5567,7 @@ "space": "S000099", "property": "P000028", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6715,9 +5575,7 @@ "space": "S000099", "property": "P000029", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6725,9 +5583,7 @@ "space": "S000099", "property": "P000038", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6735,9 +5591,7 @@ "space": "S000099", "property": "P000041", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6745,9 +5599,7 @@ "space": "S000099", "property": "P000044", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6755,9 +5607,7 @@ "space": "S000099", "property": "P000059", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6765,9 +5615,7 @@ "space": "S000099", "property": "P000129", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6775,9 +5623,7 @@ "space": "S000154", "property": "P000002", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6785,9 +5631,7 @@ "space": "S000154", "property": "P000008", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6795,9 +5639,7 @@ "space": "S000154", "property": "P000015", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6805,9 +5647,7 @@ "space": "S000154", "property": "P000016", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6815,9 +5655,7 @@ "space": "S000154", "property": "P000020", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6825,9 +5663,7 @@ "space": "S000154", "property": "P000026", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6835,9 +5671,7 @@ "space": "S000154", "property": "P000028", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6845,9 +5679,7 @@ "space": "S000154", "property": "P000029", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6855,9 +5687,7 @@ "space": "S000154", "property": "P000048", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6865,9 +5695,7 @@ "space": "S000154", "property": "P000049", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6875,9 +5703,7 @@ "space": "S000154", "property": "P000050", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6885,9 +5711,7 @@ "space": "S000154", "property": "P000051", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6895,9 +5719,7 @@ "space": "S000154", "property": "P000080", "value": true, - "refs": [ - - ], + "refs": [], "description": "-" }, { @@ -6905,9 +5727,7 @@ "space": "S000154", "property": "P000129", "value": false, - "refs": [ - - ], + "refs": [], "description": "-" } ], @@ -6915,4 +5735,4 @@ "ref": "master", "sha": "af740ddea040647482006ecb75b53f4041cd590e" } -} \ No newline at end of file +}