one can now search for terminals with different properties and different
classes