| •owl:Thing |
| •sec:NaryRelation |
| •sec:HasAsset |
| •_StackReturnAddress |
| sec:hasAsset ONLY StackReturnAddress |
| sec:HasAsset |
Class(_StackReturnAddress complete restriction(sec:hasAsset allValuesFrom(StackReturnAddress))
sec:HasAsset)