<commit_before>farmer = {
    'kb': '''
Human(Tom)
Fish(Fishy)
Fish(Trout)
Trout(Rainbow)
Bird(Blue)
Fowl(Bird)
Food(Fishy, Jaws)
Food(Blue, Gator)
Friend(Rainbow, Blue)
Friend(Jaws, Gator)
Friend(Jim, Jessie)
Father(Bigblue, Blue)
Father(Bigfishy, Fishy)
Father(Jim, Tom)
Father(Jim, Jessie)
Owner(Tom, Fishy)
Owner(Tom, Rainbow)
Brother(Jessie, Tom)
Home(Cage, Blue)
Home(Bowl, Rainbow)

(Human(h) & Bird(b)) ==> Loves(h, b)
Loves(h, b) & Human(h) ==> Owner(h, b)
(Food(x, y)) ==> Eats(x, y)
(Trout(t)) ==> Fish(t)
(Home(c, h) & Bird(h)) ==> Cage(c)

''',
# Note that this order of conjuncts
# would result in infinite recursion:
# '(Human(h) & Mother(m, h)) ==> Human(m)'
    'queries':'''
Fish(s)
Father(u, i)
Owner(x, z)
''',
#    'limit': 1,
}

weapons = {
    'kb': '''
(American(x) & Weapon(y) & Sells(x, y, z) & Hostile(z)) ==> Criminal(x)
Owns(Nono, M1)
Missile(M1)
(Missile(x) & Owns(Nono, x)) ==> Sells(West, x, Nono)
Missile(x) ==> Weapon(x)
Enemy(x, America) ==> Hostile(x)
American(West)
Enemy(Nono, America)
''',
    'queries':'''<commit_msg>South America Update<commit_after>farmer = {
    'kb': '''

Ocean(Atlantic)
Ocean(Pacific)
Tributary(Atlantic, Albemarle)
Tributary(Albemarle, Chowan)
Tributary(Chowan, Meherrin)
Tributary(Meherrin, WorrellMill)
Tributary(Pacific, Columbia)
Tributary(Columbia, Cowlitz)
Tributary(Cowlitz, Toutle)
Tributary(Toutle, Green)
Tributary(Atlantic, Gulf)
Tributary(Gulf, Mississippi)
Tributary(Mississippi, Red)
Tributary(Mississippi, Ohio)
Tributary(Ohio, Tennessee)
Tributary(Tennessee, Cumberland)
Tributary(Cumberland, Harpeth)
Tributary(Harpeth, BigTurnbull)
Tributary(BigTurnbull, SullivanBranch)
Tributary(BigTurnbull, TelleyBranch)
Tributary(BigTurnbull, LakeWeona)
Tributary(BigTurnbull, Turnbull)
Tributary(BigTurnbull, SullivanBranch)
Tributary(Cumberland, Mansker)
Tributary(Mansker, CenterPoint)
Tributary(Cumberland, Mansker)
Tributary(Mansker, Madison)
Tributary(Madison, Willis)
Tributary(Madison, Pattons)
Tributary(Mississippi, BigMuddy)
Tributary(BigMuddy, Cedar)
Tributary(Cedar, Bear)
Tributary(Mississippi, Ohio)

Tributary(w, x) & Tributary(x, y) ==> SeparatedTributary(w, y)
SeparatedTributary(w, x) & SeparatedTributary(w, y) ==> NotTouching(x, y)
Tributary(w, x) & Ocean(w) ==> Estuary(x)
Tributary(g, h) & Estuary(g) ==> SecondarySource(h)

''',
# Note that this order of conjuncts
# would result in infinite recursion:
# '(Human(h) & Mother(m, h)) ==> Human(m)'
    'queries':'''
Tributary(u, i)
Estuary(f)
SecondarySource(z)
''',
#    'limit': 1,
}

weapons = {
    'kb': '''
(American(x) & Weapon(y) & Sells(x, y, z) & Hostile(z)) ==> Criminal(x)
Owns(Nono, M1)
Missile(M1)
(Missile(x) & Owns(Nono, x)) ==> Sells(West, x, Nono)
Missile(x) ==> Weapon(x)
Enemy(x, America) ==> Hostile(x)
American(West)
Enemy(Nono, America)
''',
    'queries':'''
{'fraction_non_alphanumeric': 0.18690265486725663, 'fraction_numerical': 0.0021238938053097347, 'mean_word_length': 7.074285714285714, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 22, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4413159', 'n_tokens_mistral': 1266, 'n_tokens_neox': 1215, 'n_words': 241}