Code completion result for source line:
$this->prop|erty;
(QueryType=COMPLETION, prefixSearch=false, caseSensitive=true)
VARIABLE   (A&B)|(A&C) property            [PUBLIC]   DNFTypes

Documentation:

$property

Description
Type:(A & B) | (A & C)