[05:01:53] are transitive properties (in particular subclass relations) meant to all be applied or just the "bottommost" one [05:01:57] ? [05:02:58] i ask because some dams (such as aswan) are marked both gravity dam and just dam, and other (such as three gorges) are just marked as gravity dams