at.logic.gapt.proofs.lkNew
Convenience constructor for ∃:r that, a main formula and a term, will try to construct an inference with these formulas.