#.properties
#.automaton prop
#.blifmv prop.mv
#.connections (train=train, interpretation=interpretation)
#.state st1 = state:good 
#.posfair
#.subsets {st1}
#.endfair
#.endautomaton
#.endproperties

!(prop.state = good);