[id: qzkenwrchjidvqxm] input(what is $flash $memory) && fact($flash $memory is a $type_of_memory) => output(A $type_of_memory)
[id: qzkenwrchjidvqxm] input(what is $flash $memory) && fact($flash $memory is a $type_of_memory|$flash $memory is an $type_of_memory) => output(A $type_of_memory)