Boardman–Vogt resolution

GPTKB entity