Premodifier: formal symbolic
Head noun: system

Same concepts

Broader concepts

labelprovenanceconfidence

Narrower concepts

labelprovenanceconfidence
logicisap:1559850940.365894