Return computed premise
Updated for 0.1.2