Uses of Interface
org.eclipse.actf.util.vocab.IProposition