(dual of square pyramid prism) (no ontology)