topCla(enzyme_state-{EC_Number,State},[enzyme_state(EC_Number,State)]).