Task: Question Generation
Input (English): In its general form, a type-logical grammar consists of following components:
Output (English): Does Grail accept Prolog inputs?