【计】 axiomatic specification
axiom; generally acknowledged truth【计】 Armstrong
characterization; depict; describe; description; story【经】 present