AgtType and examples