Any intensional notion imported into computational systems must be operationalized as an extension b...