#condition.premise__precondition__stipulation  an assumption on which rests the validity or effect of something else
  supertype:  premise__premiss__premis  a statement that is assumed to be true and from which a conclusion can be drawn; "on the assumption that he has been injured we can infer that he will not to play"
  subtype:  boundary_condition  (math) a condition specified for the solution to a set of differential equations
  subtype:  proviso__provision  a stipulated condition; "he accepted subject to one provision"

No statement uses or specializes condition.premise; click here to add one.