BETTY (for Boogie)

GPTKB entity