Assertion list for term "exist in type".
Results from Ascent++: 2
variable → CapableOf → exist in type 0.33
variable (aspect of experiment) → CapableOf → exist in type 0.25