Partial logic knowledge representation by Thysse