item

abstract fun item(): SatisfiableItem(source)