data structure Deductions data structure is for example semantic triple ⇐ (semantic triple is a data structure), (is a is inverse of is for example)