<?xml version="1.0" encoding="UTF-8" standalone="no"?><featureModel chosenLayoutAlgorithm="1"><struct><and abstract="" mandatory="true" name="MinePump"><or mandatory="false" name="Command"><feature name="Start"/><feature name="Stop"/></or><or mandatory="false" name="MethaneSensor"><feature name="Alarm"/><feature name="Query"/></or><and mandatory="true" name="WaterSensor"><feature name="Low"/><feature name="Normal"/><feature name="High"/></and><feature name="o_1"/><feature name="o_2"/></and></struct><constraints/><calculations Auto="true" Constraints="true" Features="true" Redundant="true" Tautology="true"/><comments/><featureOrder userDefined="false"/></featureModel>
