[id: roqjqcetogybqxwj] fact($sharks are $dangerous) && fact($_q_shark is singular of $_q_sharks) && fact($x is a $shark) => fact($x is $dangerous)
[id: roqjqcetogybqxwj] fact($sharks are $dangerous) && fact($_q_shark is singular of $_q_sharks) && fact($x is a $shark|$x is an $shark) => fact($x is $dangerous)