Assertion list
electrolyte (aspect of fuel cell ) → HasProperty
Results from Ascent++: 2
electrolyte → HasProperty → ceramic 0.25
electrolyte → HasProperty → impermeable 0.25