def test_match_if_all_defined_is_present(kwargs):
from pyknow.fact import Fact, L
kwargs['ATLEAST1'] = 'VALUE'
kwsuperset = kwargs.copy()
kwsuperset.update({'OTHER1': 'VALUE'})
f0 = Fact(**{a: L(b) for a, b in kwargs.items()})
f1 = Fact(**{a: L(b) for a, b in kwsuperset.items()})
assert not f1.matches(f0, {})
assert f0.matches(f1, {})
def test_match_with_W_True(kwargs):
assume('something' not in kwargs)
from pyknow.fact import Fact, W, L
f0 = Fact(**{a: L(b) for a, b in kwargs.items()})
f1 = Fact(something=W(False))
assert f1.matches(f0, {})
