public interface ReasonerTerm
int
size()
int size()
Copyright © 2020 University of California, Santa Cruz. All rights reserved.