(bibl:S spec:AVM+tree:K) tree:Kbibl:S spec:AVM+tree:Ksab:K_t