Seth: { {A , ~A} entails B } does SUCK
AaronSw: Feel free to talk about CWM and other tool here, as well as any other Semantic Web topics.
AaronSw: XML export is available
AaronSw: XML export is available
Seth: note how the arrows at the top level are only consistent with one of the nested contexts
Seth: seth issues points to whoever can provide the implication formula
Seth: seth issues points to whoever can provide the implication formula
tim: Session of 3/26 projected on wall at MIT FWIW