Abstractpantlogic Import Demostration