Transitive predication chains ('a is red; red is a color') seem to require property-like relata that...
This proposition has not been edited since the history system was added.