starting file to explorate predicate calculus and included snippet to get term types