{ "items" : [
    { "id" : "http://webisa.webdatacommons.org/64922259"
      "properties" : {
        "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" : [ "http://www.w3.org/ns/prov#Entity" ] ,
        "http://www.w3.org/ns/prov#value" : [ "Of course, if TT is a 2-monad describing some structure, then TAT A is the free such structure on AA; thus the first sort of coherence theorem can be precisely stated as ???describe TAT A as explicitly as possible in terms of AA.???" ] ,
        "http://www.w3.org/ns/prov#wasQuotedFrom" : [ "ncatlab.org" ] } },

    { "id" : "http://webisa.webdatacommons.org/prov/423424844"
      "properties" : {
        "http://www.w3.org/ns/prov#wasDerivedFrom" : [ "http://webisa.webdatacommons.org/64922259"] } } }
