HomeIsabelle/Phabricator

produce predicate text;