close fullscreen

Atom selection probability using SingleImplicator in pattern matcher

help edit space_dashboard