security Deductions type of property is for example security ⇐ (security is a type of property), (is a is inverse of is for example) security is opposite of hazard ⇐ hazard is opposite of security