Did you know ... Search Documentation:
Pack logicmoo_nars -- examples/more/bugfix_inherit_negation-in.txt
inherit+negation
<a --> b>. <a --> (--,b)>. 50