@prefix : <http://semex.sigmanoise.com/r0/kernel#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#> .
################################################################################
#                                  1.认知模态                                  #
################################################################################
{:self :dont-know- ?g } <= { ?SCOPE e:fail ?g }.
{?g1 :empirical-imply- ?g2} <= { (?g1 ?g2) log:forAllIn ?SCOPE}.
{?g1 :empirical-dont-imply- ?g2} <= {:self :dont-know- {?g1 :empirical-imply- ?g2} }.
{?g1 :should-imply- ?g2} => {{?g1 :empirical-dont-imply- ?g2} => false}.