At the moment only the Input is shown
Managed to show the negation of the property in the type
Added property also for existential properties

  Refactoring - better name (Property)