Uses of Class
science.aist.gtf.verification.syntactic.PropertyRestrictor