I didn’t know much about the ☞ associative data model until now, but this sounds somehow similar to graph databases: items and links having source and target and verbs.
/// Associative data value
type Value =
/// Item value
| Item of string
/// Link of source value, verb and target value
| Link of Value * string * Value