@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.w3.org/2002/07/owl#> .

[ rdf:type owl:Ontology
 ] .

#################################################################
#    Annotation properties
#################################################################

###  http://www.w3.org/ns/shacl#class
<http://www.w3.org/ns/shacl#class> rdf:type owl:AnnotationProperty .


###  http://www.w3.org/ns/shacl#datatype
<http://www.w3.org/ns/shacl#datatype> rdf:type owl:AnnotationProperty .


###  http://www.w3.org/ns/shacl#maxInclusive
<http://www.w3.org/ns/shacl#maxInclusive> rdf:type owl:AnnotationProperty .


###  http://www.w3.org/ns/shacl#minInclusive
<http://www.w3.org/ns/shacl#minInclusive> rdf:type owl:AnnotationProperty .


###  http://www.w3.org/ns/shacl#name
<http://www.w3.org/ns/shacl#name> rdf:type owl:AnnotationProperty .


###  http://www.w3.org/ns/shacl#nodeKind
<http://www.w3.org/ns/shacl#nodeKind> rdf:type owl:AnnotationProperty .


###  http://www.w3.org/ns/shacl#path
<http://www.w3.org/ns/shacl#path> rdf:type owl:AnnotationProperty .


###  http://www.w3.org/ns/shacl#pattern
<http://www.w3.org/ns/shacl#pattern> rdf:type owl:AnnotationProperty .


###  http://www.w3.org/ns/shacl#property
<http://www.w3.org/ns/shacl#property> rdf:type owl:AnnotationProperty .


###  http://www.w3.org/ns/shacl#targetClass
<http://www.w3.org/ns/shacl#targetClass> rdf:type owl:AnnotationProperty .


###  https://w3id.org/def/astrea#contains
<https://w3id.org/def/astrea#contains> rdf:type owl:AnnotationProperty .


###  https://w3id.org/def/astrea#generatedShapesFrom
<https://w3id.org/def/astrea#generatedShapesFrom> rdf:type owl:AnnotationProperty .


###  https://w3id.org/def/astrea#message
<https://w3id.org/def/astrea#message> rdf:type owl:AnnotationProperty .


###  https://w3id.org/def/astrea#statusCode
<https://w3id.org/def/astrea#statusCode> rdf:type owl:AnnotationProperty .


#################################################################
#    Classes
#################################################################

###  http://www.w3.org/ns/shacl#NodeShape
<http://www.w3.org/ns/shacl#NodeShape> rdf:type owl:Class .


###  http://www.w3.org/ns/shacl#PropertyShape
<http://www.w3.org/ns/shacl#PropertyShape> rdf:type owl:Class .


###  https://w3id.org/def/astrea#ReportEntry
<https://w3id.org/def/astrea#ReportEntry> rdf:type owl:Class .


###  https://w3id.org/def/astrea#ShapeReport
<https://w3id.org/def/astrea#ShapeReport> rdf:type owl:Class .


#################################################################
#    Individuals
#################################################################

###  http://astrea.linkeddata.es/report
<http://astrea.linkeddata.es/report> rdf:type owl:NamedIndividual ,
                                              <https://w3id.org/def/astrea#ShapeReport> ;
                                     <https://w3id.org/def/astrea#contains> <https://astrea.linkeddata.es/shapes#a2a6b9cb9c258d353227a6f458f6aa82> ,
                                                                            <https://astrea.linkeddata.es/shapes#a3c9261198fb7bc19e372ec0b1dc4a0f> ,
                                                                            <https://astrea.linkeddata.es/shapes#a66934a33107505c373ff037f9565503> ,
                                                                            <https://astrea.linkeddata.es/shapes#a793810b7e5c4eeea2119892937fc6c3> ,
                                                                            <https://astrea.linkeddata.es/shapes#ae3cc8e250b95f7a4d5eba4d701961fa> ,
                                                                            <https://astrea.linkeddata.es/shapes#af326bf3296a574e88a3dbc4160e5947> ,
                                                                            <https://astrea.linkeddata.es/shapes#b1094288151760301f1495bf294696ea> ,
                                                                            <https://astrea.linkeddata.es/shapes#b54486a74eaec7ef9884b65225dd11bf> ,
                                                                            <https://astrea.linkeddata.es/shapes#b57d425a1d6ce4acac74dd9417add2ce> ,
                                                                            <https://astrea.linkeddata.es/shapes#b5e5dbb9955d96b2e919e8186c93ba21> ,
                                                                            <https://astrea.linkeddata.es/shapes#c0d1bc315b60adb84872c8ebc435cc35> ,
                                                                            <https://astrea.linkeddata.es/shapes#c19a4950015edb765e74c229432a337a> ,
                                                                            <https://astrea.linkeddata.es/shapes#c27cbd96cefaa0926ae7c25efa55e96f> ,
                                                                            <https://astrea.linkeddata.es/shapes#c46b19340706dd5afe31a86b75474e8e> ,
                                                                            <https://astrea.linkeddata.es/shapes#c49ef78ebbaf1d8584cde141b5a6fba5> ,
                                                                            <https://astrea.linkeddata.es/shapes#c53e8cd1acec81d219c7768d99378b82> ,
                                                                            <https://astrea.linkeddata.es/shapes#c6d6e96f9b789b6f08f0b79f8863b76e> ,
                                                                            <https://astrea.linkeddata.es/shapes#c74659907e4f3d7205d683d350a8275b> ,
                                                                            <https://astrea.linkeddata.es/shapes#c82121648e8465f278b2e0b601d275aa> ,
                                                                            <https://astrea.linkeddata.es/shapes#c963e9ae8d45b573bbcd58f821b3f5ab> ,
                                                                            <https://astrea.linkeddata.es/shapes#c96ab643371603a2567aaaaa0025fd54> ,
                                                                            <https://astrea.linkeddata.es/shapes#c9d1ed2bbad59009ba6e251a1ac5b1c3> ,
                                                                            <https://astrea.linkeddata.es/shapes#ca04428271a2989ee6b6df2df9996f2d> ,
                                                                            <https://astrea.linkeddata.es/shapes#cb4df4de3b3bc2693f19cf3ef839b6b6> ,
                                                                            <https://astrea.linkeddata.es/shapes#cf39bfa32cf2eaf9f205e1ce6f16ba24> ,
                                                                            <https://astrea.linkeddata.es/shapes#d09138b294128a70f0d9d1e043c9cf58> ,
                                                                            <https://astrea.linkeddata.es/shapes#d246ec37ef4688b6369efe10b4069cfc> ,
                                                                            <https://astrea.linkeddata.es/shapes#d35259d8146a36db93ea4691ad8a5e58> ,
                                                                            <https://astrea.linkeddata.es/shapes#d65667ab933f343aee7d8ee6c98ae029> ,
                                                                            <https://astrea.linkeddata.es/shapes#d91bf1e1bfd5b551eb6088ef7061e5de> ,
                                                                            <https://astrea.linkeddata.es/shapes#dc35b834e509cfdcdcca12ecf0b56634> ,
                                                                            <https://astrea.linkeddata.es/shapes#dd41482800602f90094f8c52c1c0f3b6> ,
                                                                            <https://astrea.linkeddata.es/shapes#dfbc69245f31fba26bd592dc1ec3ff60> ,
                                                                            <https://astrea.linkeddata.es/shapes#e09a2e6aec364053c741762b14c09c0a> ,
                                                                            <https://astrea.linkeddata.es/shapes#e54709a82fc3bd8975cc6ca177988bc3> ,
                                                                            <https://astrea.linkeddata.es/shapes#e5d1ea846e01df672e03c598745f3cf2> ,
                                                                            <https://astrea.linkeddata.es/shapes#e66fea1e5015a08f94185ab06b1955c0> ,
                                                                            <https://astrea.linkeddata.es/shapes#e753a79bd45d5d78266635a3704871ed> ,
                                                                            <https://astrea.linkeddata.es/shapes#ed35aefcc9aa43bef42c4d5d1ba2db46> ,
                                                                            <https://astrea.linkeddata.es/shapes#ee5fe03349c01d118758dd8f88f7b413> ,
                                                                            <https://astrea.linkeddata.es/shapes#ef7e69ae1e005eb0527d2985d9e662ca> ,
                                                                            <https://astrea.linkeddata.es/shapes#effb88a972b69d770603754a94964ff1> ,
                                                                            <https://astrea.linkeddata.es/shapes#f2586f5822351a35965d7fd6f36c6d45> ,
                                                                            <https://astrea.linkeddata.es/shapes#f4acc8f2428fb367dae633cc51d5e1a5> ,
                                                                            <https://astrea.linkeddata.es/shapes#f5fec3c3c24149d8feef874699ab6825> ,
                                                                            <https://astrea.linkeddata.es/shapes#f65dca40a09a8ae4f5e6ddd4c0683c18> ,
                                                                            <https://astrea.linkeddata.es/shapes#f6e72d41fc6858187149c5e259bc7904> ,
                                                                            <https://astrea.linkeddata.es/shapes#f847bc8e672a8b020e137b9fe31b7a95> ,
                                                                            <https://astrea.linkeddata.es/shapes#f94570cb13b7d410ee5112fc8cda37a7> ,
                                                                            <https://astrea.linkeddata.es/shapes#fca78fddda071fe03e989ee25ab5ca64> ,
                                                                            <https://astrea.linkeddata.es/shapes#fcdb0ee02a0a96d99606ab91118a2e09> ,
                                                                            <https://astrea.linkeddata.es/shapes#fdbca23a82d4fc5ebc7ed095420664c8> ,
                                                                            <https://astrea.linkeddata.es/shapes#feac604057adcc79a8b8a9b9607b63d1> ,
                                                                            <https://astrea.linkeddata.es/shapes#0bafbeb8692ff628f7119a551020958c> ,
                                                                            <https://astrea.linkeddata.es/shapes#05e3dc49d1b34b32451d5247e5c2052e> ,
                                                                            <https://astrea.linkeddata.es/shapes#051bc32a14492ca7826ab28491cade74> ,
                                                                            <https://astrea.linkeddata.es/shapes#055b12b50f2ea3acd39d43b54f0c06fb> ,
                                                                            <https://astrea.linkeddata.es/shapes#06390c37c730ed754254821df21ac56f> ,
                                                                            <https://astrea.linkeddata.es/shapes#08b8767464f581e42368f697a97d5aec> ,
                                                                            <https://astrea.linkeddata.es/shapes#090ce0aea40b0ae8b26b647880e8c951> ,
                                                                            <https://astrea.linkeddata.es/shapes#1a7a4d2b2cc13d12672a0a34c2127354> ,
                                                                            <https://astrea.linkeddata.es/shapes#1e839cbe584d9bbaecd33320fc8583a3> ,
                                                                            <https://astrea.linkeddata.es/shapes#1f4a5f47228bd934f28eadebc4e85acd> ,
                                                                            <https://astrea.linkeddata.es/shapes#10384f2b44e06ffb59d4380ecc1b11a4> ,
                                                                            <https://astrea.linkeddata.es/shapes#15537684eb4592dee14407e46964c1b7> ,
                                                                            <https://astrea.linkeddata.es/shapes#1587fcc5e7eca54a12d7644d216f98b5> ,
                                                                            <https://astrea.linkeddata.es/shapes#1802dd32fb85155f95b9919bb3cce73a> ,
                                                                            <https://astrea.linkeddata.es/shapes#198e33fd8eeb673d3452092fa5ac7387> ,
                                                                            <https://astrea.linkeddata.es/shapes#2bcf739a582166db440499421363ca9c> ,
                                                                            <https://astrea.linkeddata.es/shapes#2efdfda13a170a12b3a8b54b78b8c936> ,
                                                                            <https://astrea.linkeddata.es/shapes#22ceef46389070cbb06c76d55780020e> ,
                                                                            <https://astrea.linkeddata.es/shapes#25bb0c5ddd94bb69d616988df920d52e> ,
                                                                            <https://astrea.linkeddata.es/shapes#2613313c05107e61d29eb69dcf7e74b8> ,
                                                                            <https://astrea.linkeddata.es/shapes#27e2a70ffb75e684b4c06020565f4dae> ,
                                                                            <https://astrea.linkeddata.es/shapes#29dedd762acd7268820b8eb35c7f67a4> ,
                                                                            <https://astrea.linkeddata.es/shapes#3064a958129f70025d11112f303eb681> ,
                                                                            <https://astrea.linkeddata.es/shapes#32ebbff46e773166a13144f0acf57826> ,
                                                                            <https://astrea.linkeddata.es/shapes#36d5f694914d7939f59c4fdc67cfe890> ,
                                                                            <https://astrea.linkeddata.es/shapes#38b9dda437c8836f2f1f5147c3de01f0> ,
                                                                            <https://astrea.linkeddata.es/shapes#384149acbe735f226a2e94978eb24db4> ,
                                                                            <https://astrea.linkeddata.es/shapes#3997d7e95d2bd718b223a8f8206b6e60> ,
                                                                            <https://astrea.linkeddata.es/shapes#4a010fb2227bb077e571f056e16dca80> ,
                                                                            <https://astrea.linkeddata.es/shapes#4a06f2695d5a837c45a8591d915f5db8> ,
                                                                            <https://astrea.linkeddata.es/shapes#4bcbf130da8840053c7720f453c4ceec> ,
                                                                            <https://astrea.linkeddata.es/shapes#4d861fe1365971d6c59a3aea8be0b7cb> ,
                                                                            <https://astrea.linkeddata.es/shapes#4ed2bc551e8abcb7c2728171be51df07> ,
                                                                            <https://astrea.linkeddata.es/shapes#427bc3d13e9f099760fea214f14242e7> ,
                                                                            <https://astrea.linkeddata.es/shapes#43ebb1828d4b4f20ee018263c382e27f> ,
                                                                            <https://astrea.linkeddata.es/shapes#44fcaa7e55d5e92fb8c6a1b00fbfa2d1> ,
                                                                            <https://astrea.linkeddata.es/shapes#45e9afad3646add23c8f2ffe2eef63ea> ,
                                                                            <https://astrea.linkeddata.es/shapes#49295c6dcdbcbc611db1f886154e393e> ,
                                                                            <https://astrea.linkeddata.es/shapes#5c9f7a2f6e8cf07375085423c7bb66c9> ,
                                                                            <https://astrea.linkeddata.es/shapes#5cf489b64bb88100ce8ac5f585f54fd4> ,
                                                                            <https://astrea.linkeddata.es/shapes#5ef5033fcd406df401bd4060eacc207b> ,
                                                                            <https://astrea.linkeddata.es/shapes#50f7aa81c7573e11dc8825349d3b8057> ,
                                                                            <https://astrea.linkeddata.es/shapes#5035b1a03eb4fb541c2bdf0596023127> ,
                                                                            <https://astrea.linkeddata.es/shapes#559ae4fd99e05efec93790601b553de0> ,
                                                                            <https://astrea.linkeddata.es/shapes#5602b4b6166a9cbc1ff427779db54919> ,
                                                                            <https://astrea.linkeddata.es/shapes#57f117e9006c21da7462065aebc70885> ,
                                                                            <https://astrea.linkeddata.es/shapes#6bff7b999f158e6ab18758b3139d875d> ,
                                                                            <https://astrea.linkeddata.es/shapes#6e8591bf388f9c32f562684988881760> ,
                                                                            <https://astrea.linkeddata.es/shapes#607023561da2c64d998bd1946a5a8a4f> ,
                                                                            <https://astrea.linkeddata.es/shapes#62ce18f0d32a48e7ca172b16334b92a0> ,
                                                                            <https://astrea.linkeddata.es/shapes#63aa0e9db646fb75cbd7dee32c320ffc> ,
                                                                            <https://astrea.linkeddata.es/shapes#67dc4d67a1de3c071f31cf9284e4f373> ,
                                                                            <https://astrea.linkeddata.es/shapes#68016f92b1d67714a6d92265f0e297de> ,
                                                                            <https://astrea.linkeddata.es/shapes#68325ac9e18980455ca47c7e54df83b6> ,
                                                                            <https://astrea.linkeddata.es/shapes#7b139e77dec617e7f50c642e6d3fc229> ,
                                                                            <https://astrea.linkeddata.es/shapes#7c5a971d03bb8f0ca2eaf77f28f23f3f> ,
                                                                            <https://astrea.linkeddata.es/shapes#73b38e54bc71e1f59a452de7d076adf6> ,
                                                                            <https://astrea.linkeddata.es/shapes#74f5453c604987c69902aa036ee1b725> ,
                                                                            <https://astrea.linkeddata.es/shapes#74531a419b7ab7cff67efc90ce32e413> ,
                                                                            <https://astrea.linkeddata.es/shapes#7533720b0d81b3aef04de128ab79e45d> ,
                                                                            <https://astrea.linkeddata.es/shapes#7631ad865e0f3c1c9884f8c98174cc79> ,
                                                                            <https://astrea.linkeddata.es/shapes#765103b3150608bb16ac7f9541584dd4> ,
                                                                            <https://astrea.linkeddata.es/shapes#799cf992ed0c774055904c17e0507e7c> ,
                                                                            <https://astrea.linkeddata.es/shapes#8a3036257919e9eae502118357673bf3> ,
                                                                            <https://astrea.linkeddata.es/shapes#8c1e19fbdab4b4bf990b3de1d6888711> ,
                                                                            <https://astrea.linkeddata.es/shapes#8d2b41021f5b786064e93c551c3e96a3> ,
                                                                            <https://astrea.linkeddata.es/shapes#8f3727a7822308a28b1cf07c08a79f3b> ,
                                                                            <https://astrea.linkeddata.es/shapes#8f7de51b003a3c0e3669a445074daef5> ,
                                                                            <https://astrea.linkeddata.es/shapes#83ce2b9374ddfa38332937422776d474> ,
                                                                            <https://astrea.linkeddata.es/shapes#883226922a59ee14b5bf525244b3acb1> ,
                                                                            <https://astrea.linkeddata.es/shapes#8937e74afd9c0feb8f29f2813f2a6cdd> ,
                                                                            <https://astrea.linkeddata.es/shapes#9a53ef5d06ab058391ab98e8d6f12f2e> ,
                                                                            <https://astrea.linkeddata.es/shapes#9afd4d4ac02c81a4367b3c818e1dc424> ,
                                                                            <https://astrea.linkeddata.es/shapes#9ec6c3e95bc3860ba21f2dad7773556e> ,
                                                                            <https://astrea.linkeddata.es/shapes#91a331c66aaf2dc7c03edde7594a8f34> ,
                                                                            <https://astrea.linkeddata.es/shapes#925939f7071be6a59bd54de5c3824b42> ,
                                                                            <https://astrea.linkeddata.es/shapes#93ca8ee450744ff9a0f3b9cdec53d14b> ,
                                                                            <https://astrea.linkeddata.es/shapes#93186fdd7e12532018338e28ced26edc> ,
                                                                            <https://astrea.linkeddata.es/shapes#936ef64239c11e939521125e32bf4d4d> ,
                                                                            <https://astrea.linkeddata.es/shapes#9524f79f31b7c023535bc659e6db154f> ,
                                                                            <https://astrea.linkeddata.es/shapes#9584a6b93ea13157b019e623d15c5389> ;
                                     <https://w3id.org/def/astrea#generatedShapesFrom> <https://astrea.linkeddata.es/report/0620946147> .


###  https://astrea.linkeddata.es/report/0620946147
<https://astrea.linkeddata.es/report/0620946147> rdf:type owl:NamedIndividual ,
                                                          <https://w3id.org/def/astrea#ReportEntry> ;
                                                 <https://w3id.org/def/astrea#message> "Shapes generated with no errors" ;
                                                 <https://w3id.org/def/astrea#statusCode> "200"^^xsd:int .


###  https://astrea.linkeddata.es/shapes#a2a6b9cb9c258d353227a6f458f6aa82
<https://astrea.linkeddata.es/shapes#a2a6b9cb9c258d353227a6f458f6aa82> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Map Attribute Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Map Attribute Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#2bcf739a582166db440499421363ca9c> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/MapAttributeSpecification> .


###  https://astrea.linkeddata.es/shapes#a3c9261198fb7bc19e372ec0b1dc4a0f
<https://astrea.linkeddata.es/shapes#a3c9261198fb7bc19e372ec0b1dc4a0f> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Non Constant Attribute Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Non Constant Attribute Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#f5fec3c3c24149d8feef874699ab6825> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#1e839cbe584d9bbaecd33320fc8583a3> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#2bcf739a582166db440499421363ca9c> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#32ebbff46e773166a13144f0acf57826> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/NonConstantAttributeSpecification> .


###  https://astrea.linkeddata.es/shapes#a66934a33107505c373ff037f9565503
<https://astrea.linkeddata.es/shapes#a66934a33107505c373ff037f9565503> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Dual Memory Type" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Dual Memory Type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#d09138b294128a70f0d9d1e043c9cf58> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#9524f79f31b7c023535bc659e6db154f> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/DualMemoryType> .


###  https://astrea.linkeddata.es/shapes#a793810b7e5c4eeea2119892937fc6c3
<https://astrea.linkeddata.es/shapes#a793810b7e5c4eeea2119892937fc6c3> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Contract Implementation" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Contract Implementation" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#f2586f5822351a35965d7fd6f36c6d45> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#3997d7e95d2bd718b223a8f8206b6e60> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#4a06f2695d5a837c45a8591d915f5db8> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#43ebb1828d4b4f20ee018263c382e27f> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#559ae4fd99e05efec93790601b553de0> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#8d2b41021f5b786064e93c551c3e96a3> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#9584a6b93ea13157b019e623d15c5389> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ContractImplementation> .


###  https://astrea.linkeddata.es/shapes#ae3cc8e250b95f7a4d5eba4d701961fa
<https://astrea.linkeddata.es/shapes#ae3cc8e250b95f7a4d5eba4d701961fa> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "is constant" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:boolean ;
                                                                       <http://www.w3.org/ns/shacl#name> "is constant" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/isConstant> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> "true|false|0|1" .


###  https://astrea.linkeddata.es/shapes#af326bf3296a574e88a3dbc4160e5947
<https://astrea.linkeddata.es/shapes#af326bf3296a574e88a3dbc4160e5947> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has array value" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ArrayValue> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has array value" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasArrayValue> .


###  https://astrea.linkeddata.es/shapes#b1094288151760301f1495bf294696ea
<https://astrea.linkeddata.es/shapes#b1094288151760301f1495bf294696ea> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has interface" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/Interface> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has interface" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasInterface> .


###  https://astrea.linkeddata.es/shapes#b54486a74eaec7ef9884b65225dd11bf
<https://astrea.linkeddata.es/shapes#b54486a74eaec7ef9884b65225dd11bf> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "index" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:short ;
                                                                       <http://www.w3.org/ns/shacl#maxInclusive> 32767 ;
                                                                       <http://www.w3.org/ns/shacl#minInclusive> -32768 ;
                                                                       <http://www.w3.org/ns/shacl#name> "index" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/index> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> "[\\-+]?[0-9]+" .


###  https://astrea.linkeddata.es/shapes#b57d425a1d6ce4acac74dd9417add2ce
<https://astrea.linkeddata.es/shapes#b57d425a1d6ce4acac74dd9417add2ce> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "modifier code" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "modifier code" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/modifierCode> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#b5e5dbb9955d96b2e919e8186c93ba21
<https://astrea.linkeddata.es/shapes#b5e5dbb9955d96b2e919e8186c93ba21> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Library Implementation" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Library Implementation" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#fcdb0ee02a0a96d99606ab91118a2e09> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/LibraryImplementation> .


###  https://astrea.linkeddata.es/shapes#c0d1bc315b60adb84872c8ebc435cc35
<https://astrea.linkeddata.es/shapes#c0d1bc315b60adb84872c8ebc435cc35> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has modifier behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ModifierBehaviour> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has modifier behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasModifierBehaviour> .


###  https://astrea.linkeddata.es/shapes#c19a4950015edb765e74c229432a337a
<https://astrea.linkeddata.es/shapes#c19a4950015edb765e74c229432a337a> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has type" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/Type> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasType> .


###  https://astrea.linkeddata.es/shapes#c27cbd96cefaa0926ae7c25efa55e96f
<https://astrea.linkeddata.es/shapes#c27cbd96cefaa0926ae7c25efa55e96f> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Ufixed Mx N" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Ufixed Mx N" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/UfixedMxN> .


###  https://astrea.linkeddata.es/shapes#c46b19340706dd5afe31a86b75474e8e
<https://astrea.linkeddata.es/shapes#c46b19340706dd5afe31a86b75474e8e> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has value map" ;
                                                                       <http://www.w3.org/ns/shacl#name> "has value map" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> .


###  https://astrea.linkeddata.es/shapes#c49ef78ebbaf1d8584cde141b5a6fba5
<https://astrea.linkeddata.es/shapes#c49ef78ebbaf1d8584cde141b5a6fba5> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Attribute Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Attribute Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#cf39bfa32cf2eaf9f205e1ce6f16ba24> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/AttributeSpecification> .


###  https://astrea.linkeddata.es/shapes#c53e8cd1acec81d219c7768d99378b82
<https://astrea.linkeddata.es/shapes#c53e8cd1acec81d219c7768d99378b82> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Fixed Value" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Fixed Value" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#090ce0aea40b0ae8b26b647880e8c951> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/FixedValue> .


###  https://astrea.linkeddata.es/shapes#c6d6e96f9b789b6f08f0b79f8863b76e
<https://astrea.linkeddata.es/shapes#c6d6e96f9b789b6f08f0b79f8863b76e> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Modifier Override Tipe" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Modifier Override Tipe" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ModifierOverrideTipe> .


###  https://astrea.linkeddata.es/shapes#c74659907e4f3d7205d683d350a8275b
<https://astrea.linkeddata.es/shapes#c74659907e4f3d7205d683d350a8275b> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has implementation struct type" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/StructType> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has implementation struct type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasImplementationStructType> .


###  https://astrea.linkeddata.es/shapes#c82121648e8465f278b2e0b601d275aa
<https://astrea.linkeddata.es/shapes#c82121648e8465f278b2e0b601d275aa> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has implementation function" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/FunctionSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has implementation function" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasImplementationFunction> .


###  https://astrea.linkeddata.es/shapes#c963e9ae8d45b573bbcd58f821b3f5ab
<https://astrea.linkeddata.es/shapes#c963e9ae8d45b573bbcd58f821b3f5ab> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "String Value" ;
                                                                       <http://www.w3.org/ns/shacl#name> "String Value" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#607023561da2c64d998bd1946a5a8a4f> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/StringValue> .


###  https://astrea.linkeddata.es/shapes#c96ab643371603a2567aaaaa0025fd54
<https://astrea.linkeddata.es/shapes#c96ab643371603a2567aaaaa0025fd54> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has override return" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ModifierOverrideSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has override return" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasOverrideReturn> .


###  https://astrea.linkeddata.es/shapes#c9d1ed2bbad59009ba6e251a1ac5b1c3
<https://astrea.linkeddata.es/shapes#c9d1ed2bbad59009ba6e251a1ac5b1c3> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has function return" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ParameterVariableSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has function return" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasFunctionReturn> .


###  https://astrea.linkeddata.es/shapes#ca04428271a2989ee6b6df2df9996f2d
<https://astrea.linkeddata.es/shapes#ca04428271a2989ee6b6df2df9996f2d> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Receive Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Receive Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#57f117e9006c21da7462065aebc70885> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#74f5453c604987c69902aa036ee1b725> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#8a3036257919e9eae502118357673bf3> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ReceiveSpecification> .


###  https://astrea.linkeddata.es/shapes#cb4df4de3b3bc2693f19cf3ef839b6b6
<https://astrea.linkeddata.es/shapes#cb4df4de3b3bc2693f19cf3ef839b6b6> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Map Key Type" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Map Key Type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/MapKeyType> .


###  https://astrea.linkeddata.es/shapes#cf39bfa32cf2eaf9f205e1ce6f16ba24
<https://astrea.linkeddata.es/shapes#cf39bfa32cf2eaf9f205e1ce6f16ba24> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "attribute name" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "attribute name" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/attributeName> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#d09138b294128a70f0d9d1e043c9cf58
<https://astrea.linkeddata.es/shapes#d09138b294128a70f0d9d1e043c9cf58> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "memory m" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:short ;
                                                                       <http://www.w3.org/ns/shacl#maxInclusive> 32767 ;
                                                                       <http://www.w3.org/ns/shacl#minInclusive> -32768 ;
                                                                       <http://www.w3.org/ns/shacl#name> "memory m" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/memoryM> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> "[\\-+]?[0-9]+" .


###  https://astrea.linkeddata.es/shapes#d246ec37ef4688b6369efe10b4069cfc
<https://astrea.linkeddata.es/shapes#d246ec37ef4688b6369efe10b4069cfc> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "function name" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "function name" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/functionName> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#d35259d8146a36db93ea4691ad8a5e58
<https://astrea.linkeddata.es/shapes#d35259d8146a36db93ea4691ad8a5e58> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has index array value" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ArrayValueSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has index array value" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasIndexArrayValue> .


###  https://astrea.linkeddata.es/shapes#d65667ab933f343aee7d8ee6c98ae029
<https://astrea.linkeddata.es/shapes#d65667ab933f343aee7d8ee6c98ae029> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Value Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Value Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#ae3cc8e250b95f7a4d5eba4d701961fa> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ValueSpecification> .


###  https://astrea.linkeddata.es/shapes#d91bf1e1bfd5b551eb6088ef7061e5de
<https://astrea.linkeddata.es/shapes#d91bf1e1bfd5b551eb6088ef7061e5de> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Bytes Value" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Bytes Value" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#799cf992ed0c774055904c17e0507e7c> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/BytesValue> .


###  https://astrea.linkeddata.es/shapes#dc35b834e509cfdcdcca12ecf0b56634
<https://astrea.linkeddata.es/shapes#dc35b834e509cfdcdcca12ecf0b56634> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Function Behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Function Behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#7631ad865e0f3c1c9884f8c98174cc79> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/FunctionBehaviour> .


###  https://astrea.linkeddata.es/shapes#dd41482800602f90094f8c52c1c0f3b6
<https://astrea.linkeddata.es/shapes#dd41482800602f90094f8c52c1c0f3b6> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Implementation" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Implementation" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#b1094288151760301f1495bf294696ea> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#c74659907e4f3d7205d683d350a8275b> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#c82121648e8465f278b2e0b601d275aa> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#05e3dc49d1b34b32451d5247e5c2052e> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#1f4a5f47228bd934f28eadebc4e85acd> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#15537684eb4592dee14407e46964c1b7> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#29dedd762acd7268820b8eb35c7f67a4> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#93ca8ee450744ff9a0f3b9cdec53d14b> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/Implementation> .


###  https://astrea.linkeddata.es/shapes#dfbc69245f31fba26bd592dc1ec3ff60
<https://astrea.linkeddata.es/shapes#dfbc69245f31fba26bd592dc1ec3ff60> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Visibility" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Visibility" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/Visibility> .


###  https://astrea.linkeddata.es/shapes#e09a2e6aec364053c741762b14c09c0a
<https://astrea.linkeddata.es/shapes#e09a2e6aec364053c741762b14c09c0a> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "lenght" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:short ;
                                                                       <http://www.w3.org/ns/shacl#maxInclusive> 32767 ;
                                                                       <http://www.w3.org/ns/shacl#minInclusive> -32768 ;
                                                                       <http://www.w3.org/ns/shacl#name> "lenght" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/lenght> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> "[\\-+]?[0-9]+" .


###  https://astrea.linkeddata.es/shapes#e54709a82fc3bd8975cc6ca177988bc3
<https://astrea.linkeddata.es/shapes#e54709a82fc3bd8975cc6ca177988bc3> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "simple generic" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:Literal ;
                                                                       <http://www.w3.org/ns/shacl#name> "simple generic" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/simpleGeneric> .


###  https://astrea.linkeddata.es/shapes#e5d1ea846e01df672e03c598745f3cf2
<https://astrea.linkeddata.es/shapes#e5d1ea846e01df672e03c598745f3cf2> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has key map" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/MapKeyType> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has key map" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasKeyMap> .


###  https://astrea.linkeddata.es/shapes#e66fea1e5015a08f94185ab06b1955c0
<https://astrea.linkeddata.es/shapes#e66fea1e5015a08f94185ab06b1955c0> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Struct Type" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Struct Type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#45e9afad3646add23c8f2ffe2eef63ea> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/StructType> .


###  https://astrea.linkeddata.es/shapes#e753a79bd45d5d78266635a3704871ed
<https://astrea.linkeddata.es/shapes#e753a79bd45d5d78266635a3704871ed> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Bool Value" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Bool Value" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#936ef64239c11e939521125e32bf4d4d> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/BoolValue> .


###  https://astrea.linkeddata.es/shapes#ed35aefcc9aa43bef42c4d5d1ba2db46
<https://astrea.linkeddata.es/shapes#ed35aefcc9aa43bef42c4d5d1ba2db46> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Function Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Function Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#c9d1ed2bbad59009ba6e251a1ac5b1c3> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#d246ec37ef4688b6369efe10b4069cfc> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#ef7e69ae1e005eb0527d2985d9e662ca> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#427bc3d13e9f099760fea214f14242e7> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#765103b3150608bb16ac7f9541584dd4> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/FunctionSpecification> .


###  https://astrea.linkeddata.es/shapes#ee5fe03349c01d118758dd8f88f7b413
<https://astrea.linkeddata.es/shapes#ee5fe03349c01d118758dd8f88f7b413> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has interface function" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/CodelessFunctionSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has interface function" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasInterfaceFunction> .


###  https://astrea.linkeddata.es/shapes#ef7e69ae1e005eb0527d2985d9e662ca
<https://astrea.linkeddata.es/shapes#ef7e69ae1e005eb0527d2985d9e662ca> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has function arguments" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ParameterVariableSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has function arguments" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasFunctionArguments> .


###  https://astrea.linkeddata.es/shapes#effb88a972b69d770603754a94964ff1
<https://astrea.linkeddata.es/shapes#effb88a972b69d770603754a94964ff1> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Constant Type" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Constant Type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ConstantType> .


###  https://astrea.linkeddata.es/shapes#f2586f5822351a35965d7fd6f36c6d45
<https://astrea.linkeddata.es/shapes#f2586f5822351a35965d7fd6f36c6d45> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has contract receive" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ReceiveSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has contract receive" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasContractReceive> .


###  https://astrea.linkeddata.es/shapes#f4acc8f2428fb367dae633cc51d5e1a5
<https://astrea.linkeddata.es/shapes#f4acc8f2428fb367dae633cc51d5e1a5> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Constructor Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Constructor Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#22ceef46389070cbb06c76d55780020e> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#5c9f7a2f6e8cf07375085423c7bb66c9> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ConstructorSpecification> .


###  https://astrea.linkeddata.es/shapes#f5fec3c3c24149d8feef874699ab6825
<https://astrea.linkeddata.es/shapes#f5fec3c3c24149d8feef874699ab6825> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has attribute visibility" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/Visibility> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has attribute visibility" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasAttributeVisibility> .


###  https://astrea.linkeddata.es/shapes#f65dca40a09a8ae4f5e6ddd4c0683c18
<https://astrea.linkeddata.es/shapes#f65dca40a09a8ae4f5e6ddd4c0683c18> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "memory" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:short ;
                                                                       <http://www.w3.org/ns/shacl#maxInclusive> 32767 ;
                                                                       <http://www.w3.org/ns/shacl#minInclusive> -32768 ;
                                                                       <http://www.w3.org/ns/shacl#name> "memory" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/memory> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> "[\\-+]?[0-9]+" .


###  https://astrea.linkeddata.es/shapes#f6e72d41fc6858187149c5e259bc7904
<https://astrea.linkeddata.es/shapes#f6e72d41fc6858187149c5e259bc7904> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Array Value Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Array Value Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#af326bf3296a574e88a3dbc4160e5947> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ArrayValueSpecification> .


###  https://astrea.linkeddata.es/shapes#f847bc8e672a8b020e137b9fe31b7a95
<https://astrea.linkeddata.es/shapes#f847bc8e672a8b020e137b9fe31b7a95> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Array Dimension" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Array Dimension" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#b54486a74eaec7ef9884b65225dd11bf> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#e09a2e6aec364053c741762b14c09c0a> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ArrayDimension> .


###  https://astrea.linkeddata.es/shapes#f94570cb13b7d410ee5112fc8cda37a7
<https://astrea.linkeddata.es/shapes#f94570cb13b7d410ee5112fc8cda37a7> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Fixed Mx N" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Fixed Mx N" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/FixedMxN> .


###  https://astrea.linkeddata.es/shapes#fca78fddda071fe03e989ee25ab5ca64
<https://astrea.linkeddata.es/shapes#fca78fddda071fe03e989ee25ab5ca64> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "modifier name" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "modifier name" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/modifierName> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#fcdb0ee02a0a96d99606ab91118a2e09
<https://astrea.linkeddata.es/shapes#fcdb0ee02a0a96d99606ab91118a2e09> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has constant attribute" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ContractAttributeSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has constant attribute" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasConstantAttribute> .


###  https://astrea.linkeddata.es/shapes#fdbca23a82d4fc5ebc7ed095420664c8
<https://astrea.linkeddata.es/shapes#fdbca23a82d4fc5ebc7ed095420664c8> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Generic Value" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Generic Value" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#e54709a82fc3bd8975cc6ca177988bc3> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/GenericValue> .


###  https://astrea.linkeddata.es/shapes#feac604057adcc79a8b8a9b9607b63d1
<https://astrea.linkeddata.es/shapes#feac604057adcc79a8b8a9b9607b63d1> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Address" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Address" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/Address> .


###  https://astrea.linkeddata.es/shapes#0bafbeb8692ff628f7119a551020958c
<https://astrea.linkeddata.es/shapes#0bafbeb8692ff628f7119a551020958c> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Enum Type" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Enum Type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#27e2a70ffb75e684b4c06020565f4dae> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/EnumType> .


###  https://astrea.linkeddata.es/shapes#05e3dc49d1b34b32451d5247e5c2052e
<https://astrea.linkeddata.es/shapes#05e3dc49d1b34b32451d5247e5c2052e> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "version" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "version" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/version> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#051bc32a14492ca7826ab28491cade74
<https://astrea.linkeddata.es/shapes#051bc32a14492ca7826ab28491cade74> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Int Value" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Int Value" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#74531a419b7ab7cff67efc90ce32e413> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/IntValue> .


###  https://astrea.linkeddata.es/shapes#055b12b50f2ea3acd39d43b54f0c06fb
<https://astrea.linkeddata.es/shapes#055b12b50f2ea3acd39d43b54f0c06fb> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has parameter type" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ParameterType> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has parameter type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasParameterType> .


###  https://astrea.linkeddata.es/shapes#06390c37c730ed754254821df21ac56f
<https://astrea.linkeddata.es/shapes#06390c37c730ed754254821df21ac56f> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Interface" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Interface" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#ee5fe03349c01d118758dd8f88f7b413> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/Interface> .


###  https://astrea.linkeddata.es/shapes#08b8767464f581e42368f697a97d5aec
<https://astrea.linkeddata.es/shapes#08b8767464f581e42368f697a97d5aec> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has parameter name" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "has parameter name" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasParameterName> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#090ce0aea40b0ae8b26b647880e8c951
<https://astrea.linkeddata.es/shapes#090ce0aea40b0ae8b26b647880e8c951> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "simple fixed" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "simple fixed" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/simpleFixed> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#1a7a4d2b2cc13d12672a0a34c2127354
<https://astrea.linkeddata.es/shapes#1a7a4d2b2cc13d12672a0a34c2127354> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Bool" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Bool" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/Bool> .


###  https://astrea.linkeddata.es/shapes#1e839cbe584d9bbaecd33320fc8583a3
<https://astrea.linkeddata.es/shapes#1e839cbe584d9bbaecd33320fc8583a3> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "is inmutable" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:boolean ;
                                                                       <http://www.w3.org/ns/shacl#name> "is inmutable" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/isInmutable> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> "true|false|0|1" .


###  https://astrea.linkeddata.es/shapes#1f4a5f47228bd934f28eadebc4e85acd
<https://astrea.linkeddata.es/shapes#1f4a5f47228bd934f28eadebc4e85acd> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has implementation event" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/EventSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has implementation event" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasImplementationEvent> .


###  https://astrea.linkeddata.es/shapes#10384f2b44e06ffb59d4380ecc1b11a4
<https://astrea.linkeddata.es/shapes#10384f2b44e06ffb59d4380ecc1b11a4> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "using for name" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "using for name" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/usingForName> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#15537684eb4592dee14407e46964c1b7
<https://astrea.linkeddata.es/shapes#15537684eb4592dee14407e46964c1b7> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has implementation modifier" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ModifierSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has implementation modifier" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasImplementationModifier> .


###  https://astrea.linkeddata.es/shapes#1587fcc5e7eca54a12d7644d216f98b5
<https://astrea.linkeddata.es/shapes#1587fcc5e7eca54a12d7644d216f98b5> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Event Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Event Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#5ef5033fcd406df401bd4060eacc207b> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#63aa0e9db646fb75cbd7dee32c320ffc> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#73b38e54bc71e1f59a452de7d076adf6> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/EventSpecification> .


###  https://astrea.linkeddata.es/shapes#1802dd32fb85155f95b9919bb3cce73a
<https://astrea.linkeddata.es/shapes#1802dd32fb85155f95b9919bb3cce73a> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Parameter Type" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Parameter Type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ParameterType> .


###  https://astrea.linkeddata.es/shapes#198e33fd8eeb673d3452092fa5ac7387
<https://astrea.linkeddata.es/shapes#198e33fd8eeb673d3452092fa5ac7387> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Type" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/Type> .


###  https://astrea.linkeddata.es/shapes#2bcf739a582166db440499421363ca9c
<https://astrea.linkeddata.es/shapes#2bcf739a582166db440499421363ca9c> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has non constant type" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ArrayType> ,
                                                                                                          <https://w3id.org/def/SolidityOntology/MapType> ,
                                                                                                          <https://w3id.org/def/SolidityOntology/NonConstantType> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has non constant type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasNonConstantType> .


###  https://astrea.linkeddata.es/shapes#2efdfda13a170a12b3a8b54b78b8c936
<https://astrea.linkeddata.es/shapes#2efdfda13a170a12b3a8b54b78b8c936> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has parameter type with data location" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/DataLocation> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has parameter type with data location" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasParameterTypeWithDataLocation> .


###  https://astrea.linkeddata.es/shapes#22ceef46389070cbb06c76d55780020e
<https://astrea.linkeddata.es/shapes#22ceef46389070cbb06c76d55780020e> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has constructor arguments" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ParameterVariableSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has constructor arguments" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasConstructorArguments> .


###  https://astrea.linkeddata.es/shapes#25bb0c5ddd94bb69d616988df920d52e
<https://astrea.linkeddata.es/shapes#25bb0c5ddd94bb69d616988df920d52e> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Array Value" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Array Value" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#d35259d8146a36db93ea4691ad8a5e58> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#384149acbe735f226a2e94978eb24db4> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ArrayValue> .


###  https://astrea.linkeddata.es/shapes#2613313c05107e61d29eb69dcf7e74b8
<https://astrea.linkeddata.es/shapes#2613313c05107e61d29eb69dcf7e74b8> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Parameter Variable Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Parameter Variable Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#055b12b50f2ea3acd39d43b54f0c06fb> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#08b8767464f581e42368f697a97d5aec> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#4d861fe1365971d6c59a3aea8be0b7cb> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ParameterVariableSpecification> .


###  https://astrea.linkeddata.es/shapes#27e2a70ffb75e684b4c06020565f4dae
<https://astrea.linkeddata.es/shapes#27e2a70ffb75e684b4c06020565f4dae> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "option" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "option" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/option> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#29dedd762acd7268820b8eb35c7f67a4
<https://astrea.linkeddata.es/shapes#29dedd762acd7268820b8eb35c7f67a4> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "contract name" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "contract name" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/contractName> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#3064a958129f70025d11112f303eb681
<https://astrea.linkeddata.es/shapes#3064a958129f70025d11112f303eb681> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has contract abstract function" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/CodelessFunctionSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has contract abstract function" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasContractAbstractFunction> .


###  https://astrea.linkeddata.es/shapes#32ebbff46e773166a13144f0acf57826
<https://astrea.linkeddata.es/shapes#32ebbff46e773166a13144f0acf57826> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has attribute value" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ValueSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has attribute value" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasAttributeValue> .


###  https://astrea.linkeddata.es/shapes#36d5f694914d7939f59c4fdc67cfe890
<https://astrea.linkeddata.es/shapes#36d5f694914d7939f59c4fdc67cfe890> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Parameter Type With Data Location" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Parameter Type With Data Location" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#2efdfda13a170a12b3a8b54b78b8c936> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ParameterTypeWithDataLocation> .


###  https://astrea.linkeddata.es/shapes#38b9dda437c8836f2f1f5147c3de01f0
<https://astrea.linkeddata.es/shapes#38b9dda437c8836f2f1f5147c3de01f0> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Single Memory Type" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Single Memory Type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#f65dca40a09a8ae4f5e6ddd4c0683c18> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/SingleMemoryType> .


###  https://astrea.linkeddata.es/shapes#384149acbe735f226a2e94978eb24db4
<https://astrea.linkeddata.es/shapes#384149acbe735f226a2e94978eb24db4> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has index" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:short ;
                                                                       <http://www.w3.org/ns/shacl#maxInclusive> 32767 ;
                                                                       <http://www.w3.org/ns/shacl#minInclusive> -32768 ;
                                                                       <http://www.w3.org/ns/shacl#name> "has index" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasIndex> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> "[\\-+]?[0-9]+" .


###  https://astrea.linkeddata.es/shapes#3997d7e95d2bd718b223a8f8206b6e60
<https://astrea.linkeddata.es/shapes#3997d7e95d2bd718b223a8f8206b6e60> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has contract using for directive" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/UsingForDirective> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has contract using for directive" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasContractUsingForDirective> .


###  https://astrea.linkeddata.es/shapes#4a010fb2227bb077e571f056e16dca80
<https://astrea.linkeddata.es/shapes#4a010fb2227bb077e571f056e16dca80> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has constant type" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ConstantType> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has constant type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasConstantType> .


###  https://astrea.linkeddata.es/shapes#4a06f2695d5a837c45a8591d915f5db8
<https://astrea.linkeddata.es/shapes#4a06f2695d5a837c45a8591d915f5db8> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "is abstract" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/Abstract> ;
                                                                       <http://www.w3.org/ns/shacl#name> "is abstract" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/isAbstract> .


###  https://astrea.linkeddata.es/shapes#4bcbf130da8840053c7720f453c4ceec
<https://astrea.linkeddata.es/shapes#4bcbf130da8840053c7720f453c4ceec> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Memory Type" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Memory Type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/MemoryType> .


###  https://astrea.linkeddata.es/shapes#4d861fe1365971d6c59a3aea8be0b7cb
<https://astrea.linkeddata.es/shapes#4d861fe1365971d6c59a3aea8be0b7cb> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has parameter position" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:short ;
                                                                       <http://www.w3.org/ns/shacl#maxInclusive> 32767 ;
                                                                       <http://www.w3.org/ns/shacl#minInclusive> -32768 ;
                                                                       <http://www.w3.org/ns/shacl#name> "has parameter position" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasParameterPosition> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> "[\\-+]?[0-9]+" .


###  https://astrea.linkeddata.es/shapes#4ed2bc551e8abcb7c2728171be51df07
<https://astrea.linkeddata.es/shapes#4ed2bc551e8abcb7c2728171be51df07> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Fallback Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Fallback Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#50f7aa81c7573e11dc8825349d3b8057> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#7b139e77dec617e7f50c642e6d3fc229> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#93186fdd7e12532018338e28ced26edc> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/FallbackSpecification> .


###  https://astrea.linkeddata.es/shapes#427bc3d13e9f099760fea214f14242e7
<https://astrea.linkeddata.es/shapes#427bc3d13e9f099760fea214f14242e7> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "function code" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "function code" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/functionCode> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#43ebb1828d4b4f20ee018263c382e27f
<https://astrea.linkeddata.es/shapes#43ebb1828d4b4f20ee018263c382e27f> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has contract constructor" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ConstructorSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has contract constructor" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasContractConstructor> .


###  https://astrea.linkeddata.es/shapes#44fcaa7e55d5e92fb8c6a1b00fbfa2d1
<https://astrea.linkeddata.es/shapes#44fcaa7e55d5e92fb8c6a1b00fbfa2d1> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Int" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Int" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/Int> .


###  https://astrea.linkeddata.es/shapes#45e9afad3646add23c8f2ffe2eef63ea
<https://astrea.linkeddata.es/shapes#45e9afad3646add23c8f2ffe2eef63ea> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has non constant struct attribute" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/NonConstantAttributeSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has non constant struct attribute" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasNonConstantStructAttribute> .


###  https://astrea.linkeddata.es/shapes#49295c6dcdbcbc611db1f886154e393e
<https://astrea.linkeddata.es/shapes#49295c6dcdbcbc611db1f886154e393e> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Elementary Type" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Elementary Type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ElementaryType> .


###  https://astrea.linkeddata.es/shapes#5c9f7a2f6e8cf07375085423c7bb66c9
<https://astrea.linkeddata.es/shapes#5c9f7a2f6e8cf07375085423c7bb66c9> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "constructor code" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "constructor code" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/constructorCode> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#5cf489b64bb88100ce8ac5f585f54fd4
<https://astrea.linkeddata.es/shapes#5cf489b64bb88100ce8ac5f585f54fd4> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Data Location" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Data Location" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/DataLocation> .


###  https://astrea.linkeddata.es/shapes#5ef5033fcd406df401bd4060eacc207b
<https://astrea.linkeddata.es/shapes#5ef5033fcd406df401bd4060eacc207b> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "is anonymous" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:boolean ;
                                                                       <http://www.w3.org/ns/shacl#name> "is anonymous" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/isAnonymous> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> "true|false|0|1" .


###  https://astrea.linkeddata.es/shapes#50f7aa81c7573e11dc8825349d3b8057
<https://astrea.linkeddata.es/shapes#50f7aa81c7573e11dc8825349d3b8057> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has receive behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/FRBehaviour> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has receive behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasReceiveBehaviour> .


###  https://astrea.linkeddata.es/shapes#5035b1a03eb4fb541c2bdf0596023127
<https://astrea.linkeddata.es/shapes#5035b1a03eb4fb541c2bdf0596023127> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Bytes" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Bytes" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/Bytes> .


###  https://astrea.linkeddata.es/shapes#559ae4fd99e05efec93790601b553de0
<https://astrea.linkeddata.es/shapes#559ae4fd99e05efec93790601b553de0> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has contract fallback" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/FallbackSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has contract fallback" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasContractFallback> .


###  https://astrea.linkeddata.es/shapes#5602b4b6166a9cbc1ff427779db54919
<https://astrea.linkeddata.es/shapes#5602b4b6166a9cbc1ff427779db54919> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Modifier Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Modifier Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#b57d425a1d6ce4acac74dd9417add2ce> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#c0d1bc315b60adb84872c8ebc435cc35> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#c96ab643371603a2567aaaaa0025fd54> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#fca78fddda071fe03e989ee25ab5ca64> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#7533720b0d81b3aef04de128ab79e45d> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ModifierSpecification> .


###  https://astrea.linkeddata.es/shapes#57f117e9006c21da7462065aebc70885
<https://astrea.linkeddata.es/shapes#57f117e9006c21da7462065aebc70885> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has fallback visibility" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/FRBehaviour> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has fallback visibility" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasFallbackVisibility> .


###  https://astrea.linkeddata.es/shapes#6bff7b999f158e6ab18758b3139d875d
<https://astrea.linkeddata.es/shapes#6bff7b999f158e6ab18758b3139d875d> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has modifier override type" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ModifierOverrideTipe> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has modifier override type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasModifierOverrideType> .


###  https://astrea.linkeddata.es/shapes#6e8591bf388f9c32f562684988881760
<https://astrea.linkeddata.es/shapes#6e8591bf388f9c32f562684988881760> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Codeless Function Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Codeless Function Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#83ce2b9374ddfa38332937422776d474> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/CodelessFunctionSpecification> .


###  https://astrea.linkeddata.es/shapes#607023561da2c64d998bd1946a5a8a4f
<https://astrea.linkeddata.es/shapes#607023561da2c64d998bd1946a5a8a4f> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "simple string" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "simple string" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/simpleString> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#62ce18f0d32a48e7ca172b16334b92a0
<https://astrea.linkeddata.es/shapes#62ce18f0d32a48e7ca172b16334b92a0> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "String" ;
                                                                       <http://www.w3.org/ns/shacl#name> "String" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/String> .


###  https://astrea.linkeddata.es/shapes#63aa0e9db646fb75cbd7dee32c320ffc
<https://astrea.linkeddata.es/shapes#63aa0e9db646fb75cbd7dee32c320ffc> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has event arguments" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ParameterVariableSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has event arguments" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasEventArguments> .


###  https://astrea.linkeddata.es/shapes#67dc4d67a1de3c071f31cf9284e4f373
<https://astrea.linkeddata.es/shapes#67dc4d67a1de3c071f31cf9284e4f373> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Uint" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Uint" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/Uint> .


###  https://astrea.linkeddata.es/shapes#68016f92b1d67714a6d92265f0e297de
<https://astrea.linkeddata.es/shapes#68016f92b1d67714a6d92265f0e297de> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "F R Behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#name> "F R Behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/FRBehaviour> .


###  https://astrea.linkeddata.es/shapes#68325ac9e18980455ca47c7e54df83b6
<https://astrea.linkeddata.es/shapes#68325ac9e18980455ca47c7e54df83b6> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Modifier Override Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Modifier Override Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#6bff7b999f158e6ab18758b3139d875d> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ModifierOverrideSpecification> .


###  https://astrea.linkeddata.es/shapes#7b139e77dec617e7f50c642e6d3fc229
<https://astrea.linkeddata.es/shapes#7b139e77dec617e7f50c642e6d3fc229> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "fallback code" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "fallback code" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/fallbackCode> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#7c5a971d03bb8f0ca2eaf77f28f23f3f
<https://astrea.linkeddata.es/shapes#7c5a971d03bb8f0ca2eaf77f28f23f3f> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Array Type" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Array Type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#c19a4950015edb765e74c229432a337a> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#9afd4d4ac02c81a4367b3c818e1dc424> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ArrayType> .


###  https://astrea.linkeddata.es/shapes#73b38e54bc71e1f59a452de7d076adf6
<https://astrea.linkeddata.es/shapes#73b38e54bc71e1f59a452de7d076adf6> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "event name" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "event name" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/eventName> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#74f5453c604987c69902aa036ee1b725
<https://astrea.linkeddata.es/shapes#74f5453c604987c69902aa036ee1b725> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has fallback behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/FRBehaviour> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has fallback behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasFallbackBehaviour> .


###  https://astrea.linkeddata.es/shapes#74531a419b7ab7cff67efc90ce32e413
<https://astrea.linkeddata.es/shapes#74531a419b7ab7cff67efc90ce32e413> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "simple int" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "simple int" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/simpleInt> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#7533720b0d81b3aef04de128ab79e45d
<https://astrea.linkeddata.es/shapes#7533720b0d81b3aef04de128ab79e45d> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has modifier arguments" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ParameterVariableSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has modifier arguments" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasModifierArguments> .


###  https://astrea.linkeddata.es/shapes#7631ad865e0f3c1c9884f8c98174cc79
<https://astrea.linkeddata.es/shapes#7631ad865e0f3c1c9884f8c98174cc79> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "is defined as" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ModifierSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "is defined as" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/isDefinedAs> .


###  https://astrea.linkeddata.es/shapes#765103b3150608bb16ac7f9541584dd4
<https://astrea.linkeddata.es/shapes#765103b3150608bb16ac7f9541584dd4> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has function behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/FunctionBehaviour> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has function behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasFunctionBehaviour> .


###  https://astrea.linkeddata.es/shapes#799cf992ed0c774055904c17e0507e7c
<https://astrea.linkeddata.es/shapes#799cf992ed0c774055904c17e0507e7c> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "simple bytes" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "simple bytes" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/simpleBytes> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#8a3036257919e9eae502118357673bf3
<https://astrea.linkeddata.es/shapes#8a3036257919e9eae502118357673bf3> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "receive code" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "receive code" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/receiveCode> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#8c1e19fbdab4b4bf990b3de1d6888711
<https://astrea.linkeddata.es/shapes#8c1e19fbdab4b4bf990b3de1d6888711> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Contract Attribute Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Contract Attribute Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#4a010fb2227bb077e571f056e16dca80> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ContractAttributeSpecification> .


###  https://astrea.linkeddata.es/shapes#8d2b41021f5b786064e93c551c3e96a3
<https://astrea.linkeddata.es/shapes#8d2b41021f5b786064e93c551c3e96a3> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has contract attribute" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/AttributeSpecification> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has contract attribute" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasContractAttribute> .


###  https://astrea.linkeddata.es/shapes#8f3727a7822308a28b1cf07c08a79f3b
<https://astrea.linkeddata.es/shapes#8f3727a7822308a28b1cf07c08a79f3b> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Simple Value Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Simple Value Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/SimpleValueSpecification> .


###  https://astrea.linkeddata.es/shapes#8f7de51b003a3c0e3669a445074daef5
<https://astrea.linkeddata.es/shapes#8f7de51b003a3c0e3669a445074daef5> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Map Type" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Map Type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#e5d1ea846e01df672e03c598745f3cf2> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/MapType> .


###  https://astrea.linkeddata.es/shapes#83ce2b9374ddfa38332937422776d474
<https://astrea.linkeddata.es/shapes#83ce2b9374ddfa38332937422776d474> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "codeless function code" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "codeless function code" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/codelessFunctionCode> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#883226922a59ee14b5bf525244b3acb1
<https://astrea.linkeddata.es/shapes#883226922a59ee14b5bf525244b3acb1> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "is using library" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/LibraryImplementation> ;
                                                                       <http://www.w3.org/ns/shacl#name> "is using library" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/isUsingLibrary> .


###  https://astrea.linkeddata.es/shapes#8937e74afd9c0feb8f29f2813f2a6cdd
<https://astrea.linkeddata.es/shapes#8937e74afd9c0feb8f29f2813f2a6cdd> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Abstract" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Abstract" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#3064a958129f70025d11112f303eb681> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/Abstract> .


###  https://astrea.linkeddata.es/shapes#9a53ef5d06ab058391ab98e8d6f12f2e
<https://astrea.linkeddata.es/shapes#9a53ef5d06ab058391ab98e8d6f12f2e> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Modifier Behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Modifier Behaviour" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ModifierBehaviour> .


###  https://astrea.linkeddata.es/shapes#9afd4d4ac02c81a4367b3c818e1dc424
<https://astrea.linkeddata.es/shapes#9afd4d4ac02c81a4367b3c818e1dc424> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has array dimension" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/ArrayDimension> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has array dimension" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasArrayDimension> .


###  https://astrea.linkeddata.es/shapes#9ec6c3e95bc3860ba21f2dad7773556e
<https://astrea.linkeddata.es/shapes#9ec6c3e95bc3860ba21f2dad7773556e> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Array Attribute Specification" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Array Attribute Specification" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#2bcf739a582166db440499421363ca9c> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/ArrayAttributeSpecification> .


###  https://astrea.linkeddata.es/shapes#91a331c66aaf2dc7c03edde7594a8f34
<https://astrea.linkeddata.es/shapes#91a331c66aaf2dc7c03edde7594a8f34> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Using For Directive" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Using For Directive" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#property> <https://astrea.linkeddata.es/shapes#10384f2b44e06ffb59d4380ecc1b11a4> ,
                                                                                                             <https://astrea.linkeddata.es/shapes#883226922a59ee14b5bf525244b3acb1> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/UsingForDirective> .


###  https://astrea.linkeddata.es/shapes#925939f7071be6a59bd54de5c3824b42
<https://astrea.linkeddata.es/shapes#925939f7071be6a59bd54de5c3824b42> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#NodeShape> ;
                                                                       rdfs:label "Non Constant Type" ;
                                                                       <http://www.w3.org/ns/shacl#name> "Non Constant Type" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#IRI> ;
                                                                       <http://www.w3.org/ns/shacl#targetClass> <https://w3id.org/def/SolidityOntology/NonConstantType> .


###  https://astrea.linkeddata.es/shapes#93ca8ee450744ff9a0f3b9cdec53d14b
<https://astrea.linkeddata.es/shapes#93ca8ee450744ff9a0f3b9cdec53d14b> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "import" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "import" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/import> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#93186fdd7e12532018338e28ced26edc
<https://astrea.linkeddata.es/shapes#93186fdd7e12532018338e28ced26edc> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "has receive visibility" ;
                                                                       <http://www.w3.org/ns/shacl#class> <https://w3id.org/def/SolidityOntology/FRBehaviour> ;
                                                                       <http://www.w3.org/ns/shacl#name> "has receive visibility" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#BlankNodeOrIRI> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/hasReceiveVisibility> .


###  https://astrea.linkeddata.es/shapes#936ef64239c11e939521125e32bf4d4d
<https://astrea.linkeddata.es/shapes#936ef64239c11e939521125e32bf4d4d> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "simple bool" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "simple bool" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/simpleBool> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  https://astrea.linkeddata.es/shapes#9524f79f31b7c023535bc659e6db154f
<https://astrea.linkeddata.es/shapes#9524f79f31b7c023535bc659e6db154f> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "memory n" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:short ;
                                                                       <http://www.w3.org/ns/shacl#maxInclusive> 32767 ;
                                                                       <http://www.w3.org/ns/shacl#minInclusive> -32768 ;
                                                                       <http://www.w3.org/ns/shacl#name> "memory n" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/memoryN> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> "[\\-+]?[0-9]+" .


###  https://astrea.linkeddata.es/shapes#9584a6b93ea13157b019e623d15c5389
<https://astrea.linkeddata.es/shapes#9584a6b93ea13157b019e623d15c5389> rdf:type owl:NamedIndividual ,
                                                                                <http://www.w3.org/ns/shacl#PropertyShape> ;
                                                                       rdfs:label "inheritance" ;
                                                                       <http://www.w3.org/ns/shacl#datatype> xsd:string ;
                                                                       <http://www.w3.org/ns/shacl#name> "inheritance" ;
                                                                       <http://www.w3.org/ns/shacl#nodeKind> <http://www.w3.org/ns/shacl#Literal> ;
                                                                       <http://www.w3.org/ns/shacl#path> <https://w3id.org/def/SolidityOntology/inheritance> ;
                                                                       <http://www.w3.org/ns/shacl#pattern> ".*" .


###  Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/