Characteristic predicate BurlapInput :: BurlapInput
BurlapInput
(
)