(sme:defdescription (explicitCaseFn DNA-Molecule-Simple)
 entities (dna-molecule1 strand1 strand2 polypep-backbone1
           polypep-backbone2)
 expressions ((isa polypep-backbone2 SugarMolecule)
              (isa polypep-backbone1 SugarMolecule)
              (isa strand2 DNAStrand) (isa strand1 DNAStrand)
              (isa dna-molecule1 DNAMolecule)
              (parts dna-molecule1 strand1)
              (parts dna-molecule1 strand2)
              (connectedTo strand1 strand2)
              (parts strand1 polypep-backbone1)
              (parts strand2 polypep-backbone2))
)