Formula
Unify
Sequent
Rules
Instances
Ground
G_ground
Ground_plugin_mod