There is an unsaved comment in progress. You will lose your changes if you continue. Are you sure you want to reopen the work item?
Allow a fact to be declared abstract. An abstract fact may have abstract queries or predicates. Abstract facts cannot be instantiated. Derived facts must implement all abstract queries and predicates, or be abstract themselves.