Fixed PropKB Ask. Added function to check validity.
Fixed coding convention. Added 'valid' function to logic namespace. Fixed failing test case.
Fixed whitespace inconsistencies