A formal theory of properties requires the ability to express basic facts about properties, includin...