#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.