I've been through the documentation and web interface, but haven't been
able to find answers to these...
1) How would one assert something like "Fred sees a bear running toward
him" and trace any forward inferences that are made from that?
2) If one wanted to edit some of the rules or premises in the trace, and
then re-run the test, how could one do that?
3) If one wanted to contribute an edit, how would one do that? (The '89
book says there was a hope "everyone would pitch in"; how does that work?)
If there's a better place to ask these questions, please point me there.
2.The CycL command is FI-UNASSERT, or you can use the API. After you unassert the assertion, you can perform the query again.