there are two possible semantics for higher order logic umugore wambaye ishati yera nigikapu yumukara agenda hamwe numugabo wambaye ishati yubururu nyina ni turibamwe abarizwa mu itsinda ryitwa susa